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
2022-09-06
add attributes for metacoq subpackages
Kenji Maillard
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
2022-04-13
coqPackages.smtcoq: init at itp22
Ben Siraphob
2022-04-13
coqPackages.trakt: init at 1.0
Ben Siraphob
2022-02-20
coqPackages.LibHyps: init at 2.0.4.1
Théo Zimmermann
2022-02-16
coqPackages.VST: 2.8 → 2.9
Vincent Laporte
2021-12-24
coqPackages.mathcomp-word: init at 1.0
Vincent Laporte
2021-12-09
coq_8_15: init at 8.15+rc1
Vincent Laporte
2021-12-01
coq_8_14: 8.14.0 → 8.14.1
Vincent Laporte
2021-11-29
compcert: 3.9 → 3.10
Vincent Laporte
2021-11-25
coqPackages.coq-record-update: init
Léo Stefanesco
2021-11-12
coqPackages.smpl: init
Ben Siraphob
2021-10-29
coqPackages.mathcomp: 1.12.0 -> 1.13.0
Cyril Cohen
2021-10-21
coqPackages.extructures: init at 0.3.0
Vincent Laporte
2021-10-21
coqPackages.deriving: init at 0.1.0
Vincent Laporte
2021-10-18
coqPackages.gaia-hydras: init at 0.5
Théo Zimmermann
2021-10-13
coq_8_14: init at 8.14+rc1
Théo Zimmermann
2021-09-15
coqPackages.parsec: init at 0.1.0
Théo Zimmermann
2021-09-15
coqPackages.ceres: init at 0.4.0
Théo Zimmermann
2021-08-17
coqPackages.serapi: init at multiple versions
Théo Zimmermann
2021-08-17
coqPackages.addition-chains: init at 0.4
Théo Zimmermann
2021-08-17
coqPackages.gaia: init at 1.11 and 1.12
Théo Zimmermann
2021-07-29
coqPackages.graph-theory: init at 0.9
Ben Siraphob
2021-07-01
coqPackages.itauto: init at 8.13+no
Ben Siraphob
2021-06-29
coqPackages.semantics: init
Ben Siraphob
2021-06-14
Move CompCert into coqPackages. (#126214)
Théo Zimmermann
2021-06-08
coqPackages.reglang: init at 1.1.2
Ben Siraphob
2021-06-04
compcert: 3.8 → 3.9
Vincent Laporte
2021-06-01
coqPackages.topology: init
Ben Siraphob
2021-06-01
coqPackages.zorns-lemma: init
Ben Siraphob
2021-05-17
coqPackages.relation-algebra: init
Ben Siraphob
2021-05-17
coqPackages.aac-tactics: init
Ben Siraphob
2021-05-10
coq: default to version 8.13
Vincent Laporte
2021-05-10
coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13
Cyril Cohen
2021-05-10
coqPackages.goedel: init at 8.12.0
Ben Siraphob
2021-05-10
coqPackages.pocklington: init at 8.12.0
Ben Siraphob
2021-05-10
coqPackages.hydra-battles: init at 0.3
Ben Siraphob
2021-05-07
coqPackages.VST: 2.6 → 2.7.1
Vincent Laporte
2021-05-03
top-level/coq-packages: remove dontDistribute
Ben Siraphob
2021-04-14
ITree: init at 4.0.0
Lars Rasmusson
2021-04-09
coqtail-math: init at 20201124
Ben Siraphob
2021-03-31
coqPackages.odd-order: init at 1.12.0
Ben Siraphob
2021-03-26
coqPackages.fourcolor: init at 1.2.3
Ben Siraphob
2021-01-14
coqPackages.mathcomp-abel: init at 1.0.0
Cyril Cohen
[next]