index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
top-level
/
coq-packages.nix
Age
Commit message (
Expand
)
Author
2024-08-07
coqPackages.coinduction: init at 1.9
Pierre Roux
2024-08-07
coqPackages.stalmarck: init at 8.20.0
Pierre Roux
2024-07-31
Merge pull request #329695 from definfo/coq-high-school-geometry-8.16
Vincent Laporte
2024-07-26
coqPackages: restor recurseIntoAttrs
Martin Weinelt
2024-07-24
coqPackages.high-school-geometry: init at 8.16
definfo
2024-07-04
coqPackages: allow one level of introspection before applying __attrsFailEval...
Philip Taron
2024-06-28
coq_8_20: init at 8.20+rc1 (#323105)
Pierre Roux
2024-06-27
coqPackages.coq-hammer: init at 1.3.2
Vincent Laporte
2024-06-27
coqPackages.coq-hammer-tactics: init at 1.3.2
Vincent Laporte
2024-05-03
compcert: 3.13.1 → 3.14 (#308752)
Vincent Laporte
2024-05-03
coqPackages.ssprove: init at 0.2.0 (#306981)
Sebastian Ertel
2024-04-29
coq: default to version 8.19
Vincent Laporte
2024-04-02
coqPackages.vcfloat: enable for Coq 8.18 & 8.19
Vincent Laporte
2024-04-02
coqPackages.interval: 4.9.0 → 4.10.0
Vincent Laporte
2024-03-15
coqPackages.VplTactic: init at 0.5
Vincent Laporte
2024-03-15
coqPackages.Vpl: init at 0.5
Vincent Laporte
2024-02-01
coqPackages.vscoq-language-server: init at 2.0.3 (#256515)
Cyril Cohen
2024-01-22
coqPackages.compcert: use OCaml 4.14
Vincent Laporte
2023-12-19
coq_8_19: init at 8.19+rc1
Pierre Roux
2023-12-15
treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobs
Adam Joseph
2023-11-27
coqPackages.VST: 2.12 → 2.13
Vincent Laporte
2023-11-10
coqPackages.iris-named-props: new expression (#263100)
ineol
2023-11-01
coqPackages.VST: 2.11.1 → 2.12
Vincent Laporte
2023-09-29
coqPackages.vcfloat: init at 2.1.1
Quinn Dougherty
2023-09-21
coq: 8.17.1 -> 8.18.0
Vincent Laporte
2023-09-04
coq_8_18: init at 8.18+rc1
Vincent Laporte
2023-08-03
coqPackages.paco: 4.1.2 → 4.2.0
Vincent Laporte
2023-07-25
coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17
Vincent Laporte
2023-05-11
mathcomp-infotheo: init at 0.5.1 (#231077)
affeldt-aist
2023-04-13
coq: default to version 8.17
Vincent Laporte
2023-03-30
Put mathcomp packages in alphabetical order
Pierre Roux
2023-03-30
Add coqPackages.mathcomp-apery
Pierre Roux
2023-03-30
coqPackages_8_13.VST: fix by using compatible version of ITree
Théo Zimmermann
2023-03-01
compcert: 3.11 → 3.12
Vincent Laporte
2023-02-21
coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16
Mario Rodas
2023-01-06
coq_8_17: init at 8.17+rc1 (#209145)
Pierre Roux
2022-11-24
coqPackages.mathcomp-algebra-tactics: init at 1.0.0
Cyril Cohen
2022-10-12
coq: default to version 8.16
Vincent Laporte
2022-10-12
coq_8_16: use OCaml 4.14
Vincent Laporte
2022-09-26
Split coqPackages.mathcomp-analysis
Pierre Roux
2022-09-11
Merge pull request #188766 from cdepillabout/overrideCoqDerivation
Dennis Gosnell
2022-09-06
add attributes for metacoq subpackages
Kenji Maillard
2022-08-29
coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func...
Dennis Gosnell
2022-07-10
Split out CoqIDE by default when Coq >= 8.14.
Théo Zimmermann
2022-06-08
coq_8_16: init at 8.16+rc1
Pierre Roux
2022-05-25
coqPackages: etc
Cyril Cohen
2022-05-13
Revert "coqPackages: etc"
Vincent Laporte
2022-05-12
coqPackages: etc
Cyril Cohen
2022-05-07
coq: default to 8.15
Vincent Laporte
2022-05-03
coqPackages.metacoq: create package (#162639)
Kenji Maillard
[next]