about summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
Commit message (Expand)AuthorAge
* coq: default to version 8.19Vincent Laporte2024-04-29
* coqPackages.vcfloat: enable for Coq 8.18 & 8.19Vincent Laporte2024-04-02
* coqPackages.interval: 4.9.0 → 4.10.0Vincent Laporte2024-04-02
* coqPackages.VplTactic: init at 0.5Vincent Laporte2024-03-15
* coqPackages.Vpl: init at 0.5Vincent Laporte2024-03-15
* coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen2024-02-01
* coqPackages.compcert: use OCaml 4.14Vincent Laporte2024-01-22
* coq_8_19: init at 8.19+rc1Pierre Roux2023-12-19
* treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobsAdam Joseph2023-12-15
* coqPackages.VST: 2.12 → 2.13Vincent Laporte2023-11-27
* coqPackages.iris-named-props: new expression (#263100)ineol2023-11-10
* coqPackages.VST: 2.11.1 → 2.12Vincent Laporte2023-11-01
* coqPackages.vcfloat: init at 2.1.1Quinn Dougherty2023-09-29
* coq: 8.17.1 -> 8.18.0Vincent Laporte2023-09-21
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte2023-08-03
* coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte2023-07-25
* mathcomp-infotheo: init at 0.5.1 (#231077)affeldt-aist2023-05-11
* coq: default to version 8.17Vincent Laporte2023-04-13
* Put mathcomp packages in alphabetical orderPierre Roux2023-03-30
* Add coqPackages.mathcomp-aperyPierre Roux2023-03-30
* coqPackages_8_13.VST: fix by using compatible version of ITreeThéo Zimmermann2023-03-30
* compcert: 3.11 → 3.12Vincent Laporte2023-03-01
* coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16Mario Rodas2023-02-21
* coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux2023-01-06
* coqPackages.mathcomp-algebra-tactics: init at 1.0.0Cyril Cohen2022-11-24
* coq: default to version 8.16Vincent Laporte2022-10-12
* coq_8_16: use OCaml 4.14Vincent Laporte2022-10-12
* Split coqPackages.mathcomp-analysisPierre Roux2022-09-26
* Merge pull request #188766 from cdepillabout/overrideCoqDerivationDennis Gosnell2022-09-11
|\
| * coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func...Dennis Gosnell2022-08-29
* | add attributes for metacoq subpackagesKenji Maillard2022-09-06
|/
* Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann2022-07-10
* coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coq: default to 8.15Vincent Laporte2022-05-07
* coqPackages.metacoq: create package (#162639)Kenji Maillard2022-05-03
* coqPackages.smtcoq: init at itp22Ben Siraphob2022-04-13
* coqPackages.trakt: init at 1.0Ben Siraphob2022-04-13
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-24 06:58:52 +0000