index
:
mirror/nixpkgs
this commit
add-nixpkgs-function-platform-arguments-and-docs
amazon-ssm-agent-path
backport-297360-to-release-24.05
backport-305284-to-release-24.05
backport-306534-to-release-24.05
backport-306730-to-release-24.05
backport-308317-to-release-24.05
backport-313923-to-release-24.05
backport-315732-to-release-24.05
backport-316664-to-release-24.05
backport-317744-to-release-24.05
backport-317764-to-release-24.05
backport-317805-to-release-24.05
backport-318418-to-release-24.05
backport-318498-to-release-24.05
backport-318616-to-release-24.05
backport-318961-to-release-24.05
backport-319297-to-release-24.05
backport-319727-to-release-24.05
backport-319772-to-release-24.05
backport-319817-to-release-24.05
backport-321136-to-release-24.05
backport-321991-to-release-24.05
backport-322732-to-release-24.05
backport-322826-to-release-24.05
backport-323097-to-release-24.05
backport-323988-to-release-24.05
backport-324248-to-release-24.05
backport-324924-to-release-24.05
backport-325288-to-release-24.05
backport-325787-to-release-24.05
backport-326444-to-release-24.05
backport-327032-to-release-24.05
backport-327295-to-release-24.05
backport-327430-to-release-24.05
backport-327431-to-release-24.05
backport-327536-to-release-24.05
backport-328186-to-release-24.05
backport-328623-to-release-24.05
backport-328832-to-release-24.05
backport-328865-to-release-24.05
backport-329854-to-release-24.05
backport-330507-to-release-24.05
backport-330728-to-release-24.05
backport-332383-to-release-24.05
backport-332853-to-release-24.05
backport-333048-to-release-24.05
backport-334112-to-release-24.05
backport-334301-to-release-24.05
backport-334749-to-release-24.05
backport-335367-to-release-24.05
backport-336105-to-release-24.05
backport-336265-to-release-24.05
backport-337461-to-release-24.05
backport-338658-to-release-24.05
backport-338773-to-release-24.05
backport-339708-to-release-24.05
backport-340069-to-release-24.05
backport-340232-to-release-24.05
backport-340323-to-release-24.05
backport-340330-to-release-24.05
backport-340624-to-release-24.05
backport-340746-to-release-24.05
backport-341386-to-release-24.05
backport-341395-to-release-24.05
backport-341973-to-release-24.05
backport-341987-to-release-24.05
backport-341995-to-release-24.05
backport-342169-to-release-24.05
backport-342309-to-release-24.05
backport-342350-to-release-24.05
backport-342803-to-staging-24.05
backport-342830-to-release-24.05
backport-342859-to-release-24.05
build-vm-with-bootloader
clipboard-inspector
cuda-updates
default-parameters
dependabot/github_actions/cachix/install-nix-action-28
dependabot/github_actions/korthout/backport-action-3.1.0
devShellTools-shell
doc-function-inputs
domenkozar-patch-1
drop-pixelfed-mtn
fix-function-merge
fix-kexec-on-lanzaboote
fix-systemd-boot
github-to-sqlite-beautifulsoup4
gnome
gnome-20.03
haskell-updates
hass-onboarding
hls-less-boot-pkg-check
ibus-no-force-gtk-im
init-harper-1724005626
kernels-20240908
kernels-20240918
kzones-0.9
lanzaboote
linux-loongarch64
litex
llvm-cleanup
make-disk-image/no-nix-store
master
mesonBuildDir
minimal-profile-docs
netboot-syslinux-multiplatform
netboot-tests
nix-2.24-upgrade
nixos-18.09
nixos-18.09-small
nixos-19.03
nixos-19.03-small
nixos-19.09
nixos-19.09-small
nixos-20.03
nixos-20.03-small
nixos-20.09
nixos-20.09-aarch64
nixos-20.09-small
nixos-21.05
nixos-21.05-aarch64
nixos-21.05-small
nixos-21.11
nixos-21.11-aarch64
nixos-21.11-small
nixos-22.05
nixos-22.05-aarch64
nixos-22.05-small
nixos-22.11
nixos-22.11-small
nixos-23.05
nixos-23.05-small
nixos-23.11
nixos-23.11-small
nixos-24.05
nixos-24.05-small
nixos-test-staging
nixos-test-staging-baseline
nixos-unstable
nixos-unstable-small
nixpkgs-18.09-darwin
nixpkgs-19.03-darwin
nixpkgs-19.09-darwin
nixpkgs-20.03-darwin
nixpkgs-20.09-darwin
nixpkgs-21.05-darwin
nixpkgs-21.11-darwin
nixpkgs-22.05-darwin
nixpkgs-22.11-darwin
nixpkgs-23.05-darwin
nixpkgs-23.11-darwin
nixpkgs-24.05-darwin
nixpkgs-unfree-release
nixpkgs-unstable
partition-table-qemu
perl-updates
pr-a93b4f6c
pr/htgettoken_init
pr/libredirect_system_test
pr/root_workaround_14778
proc-macro-crate
profiles-minimal-options-nox
public-inbox-DynamicUser
public-inbox-spamassassin
python-test-refactoring
python-updates
qgis-without-grass
qmllint-hook-v3
r-updates
release-13.10
release-14.04
release-14.12
release-15.09
release-16.03
release-16.09
release-17.03
release-17.09
release-18.03
release-18.09
release-18.09-firefox64
release-19.03
release-19.09
release-20.03
release-20.09
release-21.05
release-21.11
release-22.05
release-22.11
release-23.05
release-23.11
release-24.05
revert-224746-asciify-message
revert-298992-llama-index-readers-file-bump
revert-305817-update-neomutt
revert-312320-update-rexml
revert-314299-auto-update/dhcpcd
staging
staging-18.03
staging-18.09
staging-19.03
staging-19.09
staging-20.03
staging-20.09
staging-21.05
staging-21.11
staging-22.05
staging-22.11
staging-23.05
staging-23.11
staging-24.05
staging-next
staging-next-21.05
staging-next-21.11
staging-next-22.05
staging-next-22.11
staging-next-23.05
staging-next-23.11
staging-next-24.05
staging-next-xdg-desktop-portal-gnome-dependency
staging-patchelf
staging-python
staging.patchShebangs
sudo-by-default
tomberek.nixos_test
universal-remote-card-4.0.3
unrar-license-entry
upd/cinnamon-xapps-by-name
upd/pantheon
upvote-convention
Nix packages collection
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Age
Commit message (
Expand
)
Author
Files
Lines
2018-10-24
coqPackages.category-theory: fix build
Vincent Laporte
1
-15
/
+19
2018-10-23
coqPackages.Velisarios: New expression
John Wiegley
1
-0
/
+50
2018-10-19
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
Théo Zimmermann
15
-17
/
+17
2018-10-10
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
John Wiegley
1
-8
/
+7
2018-10-05
Merge pull request #47589 from vbgl/coq-coqprime-init
Matthew Bauer
1
-0
/
+46
2018-10-04
coqPackages.coq-haskell: Support building with Coq 8.8
John Wiegley
1
-0
/
+6
2018-10-01
coqPackages.coqprime: init at 8.7.2 & 8.8
Vincent Laporte
1
-0
/
+46
2018-09-08
treewide: Use http/https for homepages
Janne Heß
3
-3
/
+3
2018-08-13
Merge branch 'master' into staging-next
Vladimír Čunát
1
-1
/
+2
2018-08-08
coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}
Vincent Laporte
1
-1
/
+2
2018-08-03
treewide: Make configureFlags lists
John Ericson
1
-1
/
+1
2018-07-28
coqPackages.category-theory: revert "Add equations as a buildInput"
Peter Simons
1
-1
/
+1
2018-07-27
coqPackages.category-theory: Add equations as a buildInput
John Wiegley
1
-1
/
+1
2018-07-27
coqPackages.category-theory: Update to Git version as of 20180709
John Wiegley
1
-6
/
+6
2018-07-21
pkgs/*: remove unreferenced function arguments
volth
2
-2
/
+2
2018-07-08
coqPackages.equations: enable for Coq 8.8
Vincent Laporte
1
-7
/
+7
2018-07-05
coqPackages.equations: Add support for Coq 8.8
John Wiegley
1
-0
/
+6
2018-06-01
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
Vincent Laporte
1
-5
/
+12
2018-05-22
coqPackages.tlc: 20171206 -> 20180316 (#40927)
Vincent Laporte
1
-2
/
+2
2018-05-22
coqPackages.iris: init at 3.1.0 (#40909)
Vincent Laporte
1
-0
/
+30
2018-05-15
coqPackages.stdpp: init at 1.1
Vincent Laporte
1
-0
/
+28
2018-05-09
coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8
Vincent Laporte
1
-0
/
+5
2018-05-01
Merge pull request #39469 from vbgl/coq-contribs-containers-8.8
Matthew Justin Bauer
1
-1
/
+6
2018-05-01
coqPackages.mathcomp: 1.6.4 -> 1.7.0
Vincent Laporte
7
-33
/
+41
2018-04-25
coqPackages.contribs.containers: make available for Coq 8.8
Vincent Laporte
1
-1
/
+6
2018-03-27
coqPackages.bignums: make it available for Coq 8.8
Vincent Laporte
1
-3
/
+4
2018-03-23
Merge pull request #37591 from vbgl/coq-88beta1
John Wiegley
13
-13
/
+58
2018-03-21
coq: init at 8.8+beta1
Vincent Laporte
13
-13
/
+58
2018-03-21
coqPackages.contribs.containers: make available for Coq 8.7
Vincent Laporte
1
-5
/
+12
2018-03-06
coqPackages.bignums: Change expression to match other Coq packages
John Wiegley
1
-16
/
+16
2018-03-06
coqPackages.QuickChick: use fetchFromGitHub
John Wiegley
1
-3
/
+4
2018-03-05
coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27
John Wiegley
1
-7
/
+8
2017-12-28
coqPackages.tlc: init at 20171206
Vincent Laporte
1
-0
/
+27
2017-12-22
coqPackages.contribs.containers: fix url
Vincent Laporte
1
-4
/
+4
2017-12-21
coqPackages.contribs: new set with all packages from coq-contribs
John Wiegley
1
-0
/
+1019
2017-12-21
coqPackages.equations: -> 1.0
John Wiegley
1
-6
/
+6
2017-12-18
coqPackages.multinomials: init at 1.0
Vincent Laporte
1
-0
/
+28
2017-12-18
coqPackages: move to a separate file and filter the package set
Vincent Laporte
7
-19
/
+35
2017-12-15
coqPackages.coq-haskell: Update to add Hask.Ssr module
John Wiegley
1
-11
/
+11
2017-12-14
coqPackages.category-theory: New expression
John Wiegley
1
-0
/
+45
2017-12-14
coqPackages.coq-haskell: New expression
John Wiegley
1
-0
/
+51
2017-12-12
coqPackages_8_7.QuickChick: update to latest master
John Wiegley
1
-3
/
+3
2017-12-02
coqPackages_8_4.contribs: remove
Vincent Laporte
3
-454
/
+0
2017-12-02
coqPackages_8_4.ynot: remove
Vincent Laporte
1
-32
/
+0
2017-12-02
coqPackages_8_4.unimath: remove
Vincent Laporte
1
-26
/
+0
2017-12-02
coqPackages_8_4.tlc: remove
Vincent Laporte
1
-38
/
+0
2017-12-02
coqPackages_8_4.ssreflect: remove
Vincent Laporte
1
-6
/
+0
2017-12-02
coqPackages_8_4.QuickChick: remove
Vincent Laporte
1
-6
/
+0
2017-12-02
coqPackages_8_4.mathcomp: remove
Vincent Laporte
1
-6
/
+0
2017-12-02
coqPackages_8_4.interval: remove
Vincent Laporte
1
-15
/
+3
[next]