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
/
development
/
coq-modules
Age
Commit message (
Expand
)
Author
2022-07-28
coqPackages_8_16.dpdgraph: init at 1.0+8.16
Vincent Laporte
2022-07-26
coqPackages.mathcomp-abel: 1.2.0 → 1.2.1
Vincent Laporte
2022-07-26
coqPackages.hierarchy-builder: enable for Coq 8.16
Vincent Laporte
2022-07-25
coqPackages.hydra-battles: enable for Coq 8.16
Vincent Laporte
2022-07-25
coqPackages_8_16.equations: init at 1.3+8.16
Vincent Laporte
2022-07-20
first release of Metacoq
Kenji Maillard
2022-07-20
Merge pull request #181910 from vbgl/coq-fourcolor-1.2.5
Ben Siraphob
2022-07-20
Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15
Aaron L. Zeng
2022-07-19
coqPackages.coq-elpi 1.14.0 -> 1.15.1
Pierre Roux
2022-07-19
coqPackages.flocq: 3.4.3 → 4.1.0
Vincent Laporte
2022-07-17
coqPackages.fourcolor: 1.2.4 → 1.2.5
Vincent Laporte
2022-07-17
coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2
Vincent Laporte
2022-07-16
Merge pull request #176321 from siraben/smtcoq-fix
Ben Siraphob
2022-07-16
coqPackages.gaia: 1.13 → 1.14
Vincent Laporte
2022-07-13
coqPackages.coqeal: 1.1.0 → 1.1.1
Vincent Laporte
2022-07-10
Split out CoqIDE by default when Coq >= 8.14.
Théo Zimmermann
2022-07-08
Do not rely on coq-version when coq.version works just fine.
Théo Zimmermann
2022-06-23
coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16
Vincent Laporte
2022-06-18
mkCoqDerivation: do not set DESTDIR
Vincent Laporte
2022-06-13
coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16
Vincent Laporte
2022-06-13
coqPackages.mathcomp: disable for Coq ≥ 8.16
Vincent Laporte
2022-06-13
coqPackages.simple-io: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.StructTact: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.coqprime: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.coq-record-update: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.LibHyps: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.ITree: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.math-classes: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.metalib: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.parsec: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.semantics: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.iris: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.stdpp: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.CoLoR: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.tlc: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.paco: enable for Coq 8.16
Vincent Laporte
2022-06-13
coqPackages.coq-ext-lib: enable for Coq 8.16
Vincent Laporte
2022-06-08
coq_8_16: init at 8.16+rc1
Pierre Roux
2022-06-08
coqPackages.coq-elpi: 1.13.0 → 1.14.0
Vincent Laporte
2022-06-06
smtcoq: fix cvc4 dependency
Ben Siraphob
2022-06-05
coqPackages.smtcoq: itp22 -> 2021-09-17
Ben Siraphob
2022-06-03
compcert: add support for Coq 8.15.2
Vincent Laporte
2022-06-03
coqPackages.VST: fix build with Coq 8.15.2
Vincent Laporte
2022-05-25
coqPackages: etc
Cyril Cohen
2022-05-16
coqPackages.interval: 4.4.0 -> 4.5.1
Ben Siraphob
2022-05-13
Revert "coqPackages: etc"
Vincent Laporte
2022-05-13
Revert "moving findlib to propagedNativeBuildInputs"
Vincent Laporte
2022-05-12
moving findlib to propagedNativeBuildInputs
Cyril Cohen
2022-05-12
coqPackages: etc
Cyril Cohen
2022-05-07
coqPackages.mathcomp-tarjan: enable with Coq 8.15
Vincent Laporte
[next]