summaryrefslogtreecommitdiffstats
path: root/pkgs/top-level/coq-packages.nix
AgeCommit message (Expand)Author
2022-09-06add attributes for metacoq subpackagesKenji Maillard
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-05-07coq: default to 8.15Vincent Laporte
2022-05-03coqPackages.metacoq: create package (#162639)Kenji Maillard
2022-04-13coqPackages.smtcoq: init at itp22Ben Siraphob
2022-04-13coqPackages.trakt: init at 1.0Ben Siraphob
2022-02-20coqPackages.LibHyps: init at 2.0.4.1Théo Zimmermann
2022-02-16coqPackages.VST: 2.8 → 2.9Vincent Laporte
2021-12-24coqPackages.mathcomp-word: init at 1.0Vincent Laporte
2021-12-09coq_8_15: init at 8.15+rc1Vincent Laporte
2021-12-01coq_8_14: 8.14.0 → 8.14.1Vincent Laporte
2021-11-29compcert: 3.9 → 3.10Vincent Laporte
2021-11-25coqPackages.coq-record-update: initLéo Stefanesco
2021-11-12coqPackages.smpl: initBen Siraphob
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen
2021-10-21coqPackages.extructures: init at 0.3.0Vincent Laporte
2021-10-21coqPackages.deriving: init at 0.1.0Vincent Laporte
2021-10-18coqPackages.gaia-hydras: init at 0.5Théo Zimmermann
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-09-15coqPackages.parsec: init at 0.1.0Théo Zimmermann
2021-09-15coqPackages.ceres: init at 0.4.0Théo Zimmermann
2021-08-17coqPackages.serapi: init at multiple versionsThéo Zimmermann
2021-08-17coqPackages.addition-chains: init at 0.4Théo Zimmermann
2021-08-17coqPackages.gaia: init at 1.11 and 1.12Théo Zimmermann
2021-07-29coqPackages.graph-theory: init at 0.9Ben Siraphob
2021-07-01coqPackages.itauto: init at 8.13+noBen Siraphob
2021-06-29coqPackages.semantics: initBen Siraphob
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann
2021-06-08coqPackages.reglang: init at 1.1.2Ben Siraphob
2021-06-04compcert: 3.8 → 3.9Vincent Laporte
2021-06-01coqPackages.topology: initBen Siraphob
2021-06-01coqPackages.zorns-lemma: initBen Siraphob
2021-05-17coqPackages.relation-algebra: initBen Siraphob
2021-05-17coqPackages.aac-tactics: initBen Siraphob
2021-05-10coq: default to version 8.13Vincent Laporte
2021-05-10coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13Cyril Cohen
2021-05-10coqPackages.goedel: init at 8.12.0Ben Siraphob
2021-05-10coqPackages.pocklington: init at 8.12.0Ben Siraphob
2021-05-10coqPackages.hydra-battles: init at 0.3Ben Siraphob
2021-05-07coqPackages.VST: 2.6 → 2.7.1Vincent Laporte
2021-05-03top-level/coq-packages: remove dontDistributeBen Siraphob
2021-04-14ITree: init at 4.0.0Lars Rasmusson
2021-04-09coqtail-math: init at 20201124Ben Siraphob
2021-03-31coqPackages.odd-order: init at 1.12.0Ben Siraphob
2021-03-26coqPackages.fourcolor: init at 1.2.3Ben Siraphob
2021-01-14coqPackages.mathcomp-abel: init at 1.0.0Cyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-09 00:08:25 +0000