about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2024-06-10coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0Vincent Laporte1-1/+3
2024-06-09treewide: Remove the definite article from meta.descriptionAlexis Hildebrandt4-4/+4
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt26-26/+26
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt3-3/+3
2024-06-07Merge pull request #316196 from Alizter/ps/rr/coq_lsp__0_1_8____0_1_9Théo Zimmermann2-12/+12
2024-06-04coqPackages.aac-tactics: 8.19.0 → 8.19.1Vincent Laporte1-1/+2
2024-05-31coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4Vincent Laporte1-2/+4
2024-05-31coq-lsp: 0.1.8 -> 0.1.9Ali Caglayan2-12/+12
2024-05-30treewide: remove unused fetch* (and other) argumentsSigmanificient1-1/+1
2024-05-27coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1Vincent Laporte1-0/+2
2024-05-24coqPackages.graph-theory: 0.9.3 → 0.9.4Vincent Laporte1-1/+3
2024-05-06coqPackages.coq-record-update: 0.3.3 -> 0.3.4Léo Stefanesco1-1/+2
2024-05-03Merge #306080: staging-next 2024-04-22Vladimír Čunát2-4/+4
2024-05-03compcert: 3.13.1 → 3.14 (#308752)Vincent Laporte1-1/+2
2024-05-03Merge master into staging-nextgithub-actions[bot]1-0/+48
2024-05-03coqPackages.ssprove: init at 0.2.0 (#306981)Sebastian Ertel1-0/+48
2024-04-27treewide: wrapGAppsHook → wrapGAppsHook3Jan Tojnar2-4/+4
2024-04-26coqPackages.math-classes: 8.18.0 → 8.19.0Vincent Laporte2-0/+4
2024-04-24maintainers: drop marsamMario Rodas1-1/+1
2024-04-19coqPackages.CoLoR: 1.8.4 → 1.8.5Vincent Laporte1-1/+2
2024-04-15coqPackages.stdpp: 1.9.0 → 1.10.0Vincent Laporte3-1/+5
2024-04-08coqPackages.vscoq-language-server: 2.0.3 → 2.1.2Vincent Laporte1-3/+7
2024-04-05Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHypsWeijia Wang1-2/+2
2024-04-02coqPackages.vcfloat: enable for Coq 8.18 & 8.19Vincent Laporte1-5/+7
2024-04-02coqPackages.gappalib: 1.5.4 → 1.5.5Vincent Laporte1-1/+2
2024-04-02coqPackages.interval: 4.9.0 → 4.10.0Vincent Laporte1-0/+2
2024-04-02coqPackages.Vpl: fix metaVincent Laporte1-1/+4
2024-03-30Revert "stdenv: add meta.repository field"K9001-2/+1
2024-03-29Merge pull request #294347 from lolbinarycat/meta.repositorya-n-n-a-l-e-e1-1/+2
2024-03-29stdenv: add meta.repository fieldbinarycat1-1/+2
2024-03-29coqPackages.metacoq: 1.2.1 → 1.3.1Vincent Laporte1-2/+6
2024-03-28coqPackages_8_19.HoTT: init at 8.19Vincent Laporte1-1/+2
2024-03-28coqPackages_8_19.dpdgraph: init at 1.0+8.19Vincent Laporte1-0/+2
2024-03-23coqPackages.VST: 2.13 → 2.14Vincent Laporte1-0/+2
2024-03-23compcert: make compatible with Coq 8.18–8.19Vincent Laporte1-4/+19
2024-03-22coqPackages.mathcomp-word: 2.2 → 2.3Vincent Laporte1-2/+4
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-03-18coqPackages_8_19.itauto: init at 8.19.0Vincent Laporte1-0/+2
2024-03-18coqPackages_8_19.equations: init at 1.3+8.19Vincent Laporte1-0/+3
2024-03-18coqPackages_8_19.aac-tactics: init at 8.19.0Vincent Laporte1-0/+2
2024-03-15coqPackages.VplTactic: init at 0.5Vincent Laporte1-0/+18
2024-03-15coqPackages.Vpl: init at 0.5Vincent Laporte1-0/+17
2024-03-12compcert: add riscv-linux targetsSteven Keuchel1-0/+2
2024-03-09treewide: fix sourceRoot for fetchgit-based srcYueh-Shun Li1-3/+4
2024-02-27coqPackages.LibHyps: 2.0.4.1 -> 2.0.8R. Ryantm1-2/+2
2024-02-22coqPackages.coq-record-update: 0.3.1 -> 0.3.3Léo Stefanesco1-1/+2
2024-02-16coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,...Ali Caglayan2-0/+4
2024-02-12Merge pull request #286807 from siraben/smtcoq-versionsBen Siraphob3-126/+14
2024-02-12coqPackages.smtcoq: expand to more supported versionsBen Siraphob3-126/+14
2024-02-09coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian2-8/+20
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 12:04:54 +0000