summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
...
* | coqPackages.serapi: remove with Coq 8.14Vincent Laporte2021-12-01
* | coqPackages.coqhammer: 1.3.1 → 1.3.2Vincent Laporte2021-11-29
* | compcert: 3.9 → 3.10Vincent Laporte2021-11-29
|/
* coqPackages.coq-record-update: initLéo Stefanesco2021-11-25
* coq-bits: 1.0.0 -> 1.1.0Valentin Robert2021-11-16
* Merge pull request #145711 from siraben/coq-smpl-initBen Siraphob2021-11-15
|\
| * coqPackages.smpl: initBen Siraphob2021-11-12
* | iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0Léo Stefanesco2021-11-14
* | coqPackages.graph-theory: enable for Coq 8.14Vincent Laporte2021-11-13
* | treewide: quote urls according to rfc 0045 (#145260)xaverdh2021-11-10
|/
* coqPackages.coqeal: 1.0.6 -> 1.1.0Pierre Roux2021-11-05
* coqPackages.coqeal: master, add dependencyPierre Roux2021-11-02
* coqPackages.dpdgraph: 0.6.9 → 1.0Vincent Laporte2021-10-31
* Merge pull request #143793 from CohenCyril/fixHB-coq8.12Ben Siraphob2021-10-30
|\
| * coqPackages.hierarchy-builder: etcCyril Cohen2021-10-30
* | Merge pull request #142072 from Zimmi48/fix-zorns-lemma-before-9.0Ben Siraphob2021-10-30
|\ \ | |/ |/|
| * coqPackages.zorns-lemma: fix build of versions pre-9.0Théo Zimmermann2021-10-18
* | coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen2021-10-29
* | coqPackages.coq-elpi: 1.10 -> 1.11Cyril Cohen2021-10-27
* | coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)Vincent Laporte2021-10-21
* | coqPackages.serapi: patch to fix COQPATH issueThéo Zimmermann2021-10-21
* | coqPackages.extructures: init at 0.3.0Vincent Laporte2021-10-21
* | coqPackages.deriving: init at 0.1.0Vincent Laporte2021-10-21
* | coqPackages.gaia-hydras: init at 0.5Théo Zimmermann2021-10-18
* | coqPackages.hydra-battles: 0.4 -> 0.5Théo Zimmermann2021-10-18
* | coqPackages.addition-chains: 0.4 -> 0.5Théo Zimmermann2021-10-18
|/
* coqPackages.mathcomp-zify: 1.0.0+1.12+8.13 -> 1.1.0+1.12+8.13Théo Zimmermann2021-10-16
* coqPackages.gaia: mark as compatible with Coq 8.14Théo Zimmermann2021-10-16
* coqPackages.goedel: 8.12.0 -> 8.13.0Théo Zimmermann2021-10-15
* coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0Théo Zimmermann2021-10-13
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coqPackages.Verdi: 20200131 → 20210524Vincent Laporte2021-10-05
* coqPackages.StructTact: 20181102 → 20210328Vincent Laporte2021-10-05
* coqPackages.coq-ext-lib: 0.11.3 → 0.11.4Vincent Laporte2021-10-04
* coqPackages.multinomials: fixCyril Cohen2021-10-04
* coqPackages.gappalib: 1.4.5 → 1.5.0Vincent Laporte2021-10-03
* coqPackages.paramcoq: 1.1.2 → 1.1.3Vincent Laporte2021-10-01
* coqPackages.flocq: 3.3.1 → 3.4.2Vincent Laporte2021-09-24
* coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann2021-09-20
* coqPackages.parsec: init at 0.1.0Théo Zimmermann2021-09-15
* coqPackages.ceres: init at 0.4.0Théo Zimmermann2021-09-15
* Merge pull request #136938 from siraben/mathcomp-analysis-updateBen Siraphob2021-09-08
|\
| * coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10Ben Siraphob2021-09-07
* | coqPackages.corn: c366d3f01ec1812b145117a4da940518b092d3a6 -> 8.13.0Théo Zimmermann2021-09-08
|/
* coqPackage.topology: 8.12.0 -> 9.0.0Théo Zimmermann2021-08-22
* Merge pull request #134456 from Zimmi48/mathcomp-1.12Ben Siraphob2021-08-17
|\
| * coqPackages.mathcomp: change default version for Coq 8.10+Théo Zimmermann2021-08-17
* | coqPackages.serapi: init at multiple versionsThéo Zimmermann2021-08-17
|/
* coqPackages.addition-chains: init at 0.4Théo Zimmermann2021-08-17
* coqPackages.hydra-battles: 0.3 -> 0.4Théo Zimmermann2021-08-17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-14 22:37:18 +0000