summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
Commit message (Expand)AuthorAge
* coqPackages.LibHyps: init at 2.0.4.1Théo Zimmermann2022-02-20
* coqPackages.VST: 2.8 → 2.9Vincent Laporte2022-02-16
* coqPackages.mathcomp-word: init at 1.0Vincent Laporte2021-12-24
* coq_8_15: init at 8.15+rc1Vincent Laporte2021-12-09
* coq_8_14: 8.14.0 → 8.14.1Vincent Laporte2021-12-01
* compcert: 3.9 → 3.10Vincent Laporte2021-11-29
* coqPackages.coq-record-update: initLéo Stefanesco2021-11-25
* coqPackages.smpl: initBen Siraphob2021-11-12
* coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen2021-10-29
* 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
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coqPackages.parsec: init at 0.1.0Théo Zimmermann2021-09-15
* coqPackages.ceres: init at 0.4.0Théo Zimmermann2021-09-15
* coqPackages.serapi: init at multiple versionsThéo Zimmermann2021-08-17
* coqPackages.addition-chains: init at 0.4Théo Zimmermann2021-08-17
* coqPackages.gaia: init at 1.11 and 1.12Théo Zimmermann2021-08-17
* coqPackages.graph-theory: init at 0.9Ben Siraphob2021-07-29
* coqPackages.itauto: init at 8.13+noBen Siraphob2021-07-01
* coqPackages.semantics: initBen Siraphob2021-06-29
* Move CompCert into coqPackages. (#126214)Théo Zimmermann2021-06-14
* coqPackages.reglang: init at 1.1.2Ben Siraphob2021-06-08
* compcert: 3.8 → 3.9Vincent Laporte2021-06-04
* coqPackages.topology: initBen Siraphob2021-06-01
* coqPackages.zorns-lemma: initBen Siraphob2021-06-01
* coqPackages.relation-algebra: initBen Siraphob2021-05-17
* coqPackages.aac-tactics: initBen Siraphob2021-05-17
* coq: default to version 8.13Vincent Laporte2021-05-10
* coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13Cyril Cohen2021-05-10
* coqPackages.goedel: init at 8.12.0Ben Siraphob2021-05-10
* coqPackages.pocklington: init at 8.12.0Ben Siraphob2021-05-10
* coqPackages.hydra-battles: init at 0.3Ben Siraphob2021-05-10
* coqPackages.VST: 2.6 → 2.7.1Vincent Laporte2021-05-07
* top-level/coq-packages: remove dontDistributeBen Siraphob2021-05-03
* ITree: init at 4.0.0Lars Rasmusson2021-04-14
* coqtail-math: init at 20201124Ben Siraphob2021-04-09
* coqPackages.odd-order: init at 1.12.0Ben Siraphob2021-03-31
* coqPackages.fourcolor: init at 1.2.3Ben Siraphob2021-03-26
* coqPackages.mathcomp-abel: init at 1.0.0Cyril Cohen2021-01-14
* coqPackages: refactorCyril Cohen2021-01-09
* coq_8_12: 8.12.1 → 8.12.2Vincent Laporte2020-12-16
* coq_8_13: init at 8.13+β1Vincent Laporte2020-12-15
* compcert: 3.7 → 3.8Vincent Laporte2020-12-09
* coq_8_12: 8.12.0 → 8.12.1Vincent Laporte2020-11-15
* coqPackages.VST: init at 2.6Vincent Laporte2020-10-05
* coq: default to version 8.11Vincent Laporte2020-08-23
* coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte2020-08-08
* coqPackages.coq-extensible-records: remove at 1.2.0Vincent Laporte2020-07-10
* coq_8_12: init at 8.12+β1Vincent Laporte2020-06-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-15 09:41:24 +0000