index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
top-level
/
coq-packages.nix
Commit message (
Expand
)
Author
Age
*
coqPackages: etc
Cyril Cohen
2022-05-25
*
Revert "coqPackages: etc"
Vincent Laporte
2022-05-13
*
coqPackages: etc
Cyril Cohen
2022-05-12
*
coq: default to 8.15
Vincent Laporte
2022-05-07
*
coqPackages.metacoq: create package (#162639)
Kenji Maillard
2022-05-03
*
coqPackages.smtcoq: init at itp22
Ben Siraphob
2022-04-13
*
coqPackages.trakt: init at 1.0
Ben Siraphob
2022-04-13
*
coqPackages.LibHyps: init at 2.0.4.1
Théo Zimmermann
2022-02-20
*
coqPackages.VST: 2.8 → 2.9
Vincent Laporte
2022-02-16
*
coqPackages.mathcomp-word: init at 1.0
Vincent Laporte
2021-12-24
*
coq_8_15: init at 8.15+rc1
Vincent Laporte
2021-12-09
*
coq_8_14: 8.14.0 → 8.14.1
Vincent Laporte
2021-12-01
*
compcert: 3.9 → 3.10
Vincent Laporte
2021-11-29
*
coqPackages.coq-record-update: init
Léo Stefanesco
2021-11-25
*
coqPackages.smpl: init
Ben Siraphob
2021-11-12
*
coqPackages.mathcomp: 1.12.0 -> 1.13.0
Cyril Cohen
2021-10-29
*
coqPackages.extructures: init at 0.3.0
Vincent Laporte
2021-10-21
*
coqPackages.deriving: init at 0.1.0
Vincent Laporte
2021-10-21
*
coqPackages.gaia-hydras: init at 0.5
Théo Zimmermann
2021-10-18
*
coq_8_14: init at 8.14+rc1
Théo Zimmermann
2021-10-13
*
coqPackages.parsec: init at 0.1.0
Théo Zimmermann
2021-09-15
*
coqPackages.ceres: init at 0.4.0
Théo Zimmermann
2021-09-15
*
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-08-17
*
coqPackages.graph-theory: init at 0.9
Ben Siraphob
2021-07-29
*
coqPackages.itauto: init at 8.13+no
Ben Siraphob
2021-07-01
*
coqPackages.semantics: init
Ben Siraphob
2021-06-29
*
Move CompCert into coqPackages. (#126214)
Théo Zimmermann
2021-06-14
*
coqPackages.reglang: init at 1.1.2
Ben Siraphob
2021-06-08
*
compcert: 3.8 → 3.9
Vincent Laporte
2021-06-04
*
coqPackages.topology: init
Ben Siraphob
2021-06-01
*
coqPackages.zorns-lemma: init
Ben Siraphob
2021-06-01
*
coqPackages.relation-algebra: init
Ben Siraphob
2021-05-17
*
coqPackages.aac-tactics: init
Ben Siraphob
2021-05-17
*
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-10
*
coqPackages.VST: 2.6 → 2.7.1
Vincent Laporte
2021-05-07
*
top-level/coq-packages: remove dontDistribute
Ben Siraphob
2021-05-03
*
ITree: init at 4.0.0
Lars Rasmusson
2021-04-14
*
coqtail-math: init at 20201124
Ben Siraphob
2021-04-09
*
coqPackages.odd-order: init at 1.12.0
Ben Siraphob
2021-03-31
*
coqPackages.fourcolor: init at 1.2.3
Ben Siraphob
2021-03-26
*
coqPackages.mathcomp-abel: init at 1.0.0
Cyril Cohen
2021-01-14
*
coqPackages: refactor
Cyril Cohen
2021-01-09
*
coq_8_12: 8.12.1 → 8.12.2
Vincent Laporte
2020-12-16
*
coq_8_13: init at 8.13+β1
Vincent Laporte
2020-12-15
[next]