about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* coqPackages.itauto: enable for Coq 8.18Vincent Laporte2023-09-21
* coqPackages.flocq: 4.1.1 → 4.1.3Vincent Laporte2023-09-21
* compcert: add aarch64 supportWeijia Wang2023-09-19
* coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18Ali Caglayan2023-09-15
* coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18Ali Caglayan2023-09-15
* Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux2023-09-04
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* topology: 9.0.0 -> 10.2.0Pierre Roux2023-09-04
* ocamlPackages.elpi: 1.16.5 → 1.17.0Pierre Roux2023-09-01
* ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)Dimitrije Radojević2023-08-31
* coqPackages.coq-elpi: 1.17.0 → 1.18.0Vincent Laporte2023-08-29
* coqPackages.hierarchy-builder: 1.4.0 → 1.5.0Vincent Laporte2023-08-28
* treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski2023-08-03
* coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte2023-08-03
* coqPackages_8_17.iris: init at 4.0.0Steven Keuchel2023-08-02
* coqPackages.coquelicot: 3.3.1 → 3.4.0Vincent Laporte2023-07-28
* coqPackages.interval: 4.7.0 → 4.8.0Vincent Laporte2023-07-28
* coqPackages.trakt: fix documented licenseThéo Zimmermann2023-07-27
* coqPackages.trakt: add recent versionsThéo Zimmermann2023-07-27
* coqPackages.coq-ext-lib: 0.11.7 → 0.11.8Vincent Laporte2023-07-27
* coqPackages.parsec: 0.1.1 → 0.1.2Vincent Laporte2023-07-25
* coqPackages.ceres: 0.4.0 → 0.4.1Vincent Laporte2023-07-25
* coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte2023-07-25
* coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7Léo Stefanesco2023-07-21
* coqPackages.compcert: enable for Coq 8.17Vincent Laporte2023-07-17
* coqPackages.compcert: 3.12 → 3.13Vincent Laporte2023-07-17
* coqPackages.autosubst: 1.7 -> 1.8Léo Stefanesco2023-07-13
* treewide: use lib.optional instead of 'then []'Felix Buehler2023-07-12
* coqPackages.ITree: 5.1.0 → 5.1.1Vincent Laporte2023-07-11
* Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4Nick Cao2023-07-04
|\
| * coqPackages.CoLoR: 1.8.3 → 1.8.4Vincent Laporte2023-07-03
* | coqPackages.interval: 4.6.1 → 4.7.0Vincent Laporte2023-07-03
|/
* treewide: use optionalAttrs instead of 'else {}'Felix Buehler2023-06-25
* mathcomp-infotheo: 0.5.1 -> 0.5.2Reynald Affeldt2023-06-20
* hb dep is added later, after we check the version numberCyril Cohen2023-06-20
* coqPackages.reglang: 1.1.2 → 1.1.3Vincent Laporte2023-06-15
* coqPackages.itauto: init at 8.17.0 for Coq 8.17Vincent Laporte2023-06-15
* Merge pull request #235924 from Stunkymonkey/remove-then-{}Pol Dellaiera2023-06-13
|\
| * treewide: use use lib.optionalAttrs instead of 'then {}'Felix Buehler2023-06-06
* | coqPackages.Verdi: 20211026 → 20230503Vincent Laporte2023-06-12
* | coqPackages.Cheerios: 20200201 → 20230107Vincent Laporte2023-06-12
* | coqPackages.StructTact: 20210328 → 20230107Vincent Laporte2023-06-12
* | coqPackages.InfSeqExt: 20200131 → 20230107Vincent Laporte2023-06-12
* | Merge pull request #236417 from vbgl/coq-gappalib-1.5.3Nick Cao2023-06-08
|\ \
| * | coqPackages.gappalib: 1.5.2 → 1.5.3Vincent Laporte2023-06-07
* | | coqPackages.QuickChick: 1.6.4 → 1.6.5Vincent Laporte2023-06-08
* | | coqPackages.simple-io: 1.7.0 → 1.8.0Vincent Laporte2023-06-08
* | | coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17Vincent Laporte2023-06-07
|/ /
* / coqPackages.mathcomp-word: 2.0 → 2.1Vincent Laporte2023-06-06
|/
* coqPackages.extructures: enable for Coq 8.17Vincent Laporte2023-06-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 20:34:38 +0000