about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
Commit message (Expand)AuthorAge
* compcert: add riscv-linux targetsSteven Keuchel2024-03-12
* treewide: fix sourceRoot for fetchgit-based srcYueh-Shun Li2024-03-09
* coqPackages.coq-record-update: 0.3.1 -> 0.3.3Léo Stefanesco2024-02-22
* coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,...Ali Caglayan2024-02-16
* Merge pull request #286807 from siraben/smtcoq-versionsBen Siraphob2024-02-12
|\
| * coqPackages.smtcoq: expand to more supported versionsBen Siraphob2024-02-12
* | coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian2024-02-09
|/
* coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen2024-02-01
* coqPackages_8_19.mathcomp-real-closedPierre Roux2024-01-26
* coqPackages_8_19.multinomialsPierre Roux2024-01-26
* coqPackages_8_19.extructuresPierre Roux2024-01-26
* coqPackages_8_19.mathcomp-algebra-tacticsPierre Roux2024-01-26
* coqPackages_8_19.reglangPierre Roux2024-01-26
* coqPackages_8_19.coqprimePierre Roux2024-01-26
* coqPackages.coquelicot: 3.4.0 -> 3.4.1Pierre Roux2024-01-26
* coqPackages_8_19.QuickChickPierre Roux2024-01-26
* coqPackages_8_19.ITreePierre Roux2024-01-26
* coqPackages_8_19.pacoPierre Roux2024-01-26
* coqPackages.flocq: 4.1.3 -> 4.1.4Pierre Roux2024-01-26
* Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux2024-01-19
* coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenvVincent Laporte2024-01-18
* coqPackages.QuickChick: 2.0.1 → 2.0.2Vincent Laporte2024-01-18
* coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux2024-01-17
* coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux2024-01-16
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)Cyril Cohen2024-01-12
* coqPackages.coq-elpi: 1.19.0 -> 2.0.1Pierre Roux2024-01-02
* Bump a few things compiling with Coq 8.19Pierre Roux2023-12-19
* coqPackages.paramcoq: 8.18 -> 8.19Pierre Roux2023-12-19
* coqPackages.bignums: 8.18 -> 8.19Pierre Roux2023-12-19
* coq_8_19: init at 8.19+rc1Pierre Roux2023-12-19
* coqPackages.QuickChick: 1.6.5 → 2.0.1Vincent Laporte2023-12-13
* coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541)larsr2023-12-12
* Merge master into staging-nextgithub-actions[bot]2023-12-08
|\
| * coqPackages.coq-ext-lib: 0.11.8 → 0.12.0Vincent Laporte2023-12-08
* | Merge master into staging-nextgithub-actions[bot]2023-12-05
|\|
| * coqPackages_8_16: fix evaluation with math-comp ≥ 2.0Vincent Laporte2023-12-05
* | Merge branch 'staging' into staging-nextVladimír Čunát2023-12-01
|\ \ | |/ |/|
| * Merge staging-next into staginggithub-actions[bot]2023-11-29
| |\
| * \ Merge staging-next into staginggithub-actions[bot]2023-11-27
| |\ \
| * \ \ Merge pull request #265738 from Artturin/patchshebangconArtturi2023-11-26
| |\ \ \
| | * | | treewide: remove unnecessary patching of configure scriptArtturin2023-11-25
* | | | | coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9Vincent Laporte2023-11-30
* | | | | coqPackages.gaia: 1.15 → 1.17Vincent Laporte2023-11-30
| |_|_|/ |/| | |
* | | | coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}Vincent Laporte2023-11-29
| |_|/ |/| |
* | | coqPackages.VST: 2.12 → 2.13Vincent Laporte2023-11-27
|/ /
* | coqPackages.ITree: 5.1.1 → 5.1.2Vincent Laporte2023-11-17
* | coqPackages.dpdgraph: remove for Coq < 8.7Vincent Laporte2023-11-17
* | coqPackages.coqprime: 8.17 → 8.18Vincent Laporte2023-11-17
* | coqPackages_8_18.dpdgraph: init at 1.0+8.18Vincent Laporte2023-11-17
* | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux2023-11-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-03 06:09:16 +0000