summaryrefslogtreecommitdiffstats
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)Author
2024-04-08coqPackages.vscoq-language-server: 2.0.3 → 2.1.2Vincent Laporte
2024-04-05Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHypsWeijia Wang
2024-04-02coqPackages.vcfloat: enable for Coq 8.18 & 8.19Vincent Laporte
2024-04-02coqPackages.gappalib: 1.5.4 → 1.5.5Vincent Laporte
2024-04-02coqPackages.interval: 4.9.0 → 4.10.0Vincent Laporte
2024-04-02coqPackages.Vpl: fix metaVincent Laporte
2024-03-30Revert "stdenv: add meta.repository field"K900
2024-03-29Merge pull request #294347 from lolbinarycat/meta.repositorya-n-n-a-l-e-e
2024-03-29stdenv: add meta.repository fieldbinarycat
2024-03-29coqPackages.metacoq: 1.2.1 → 1.3.1Vincent Laporte
2024-03-28coqPackages_8_19.HoTT: init at 8.19Vincent Laporte
2024-03-28coqPackages_8_19.dpdgraph: init at 1.0+8.19Vincent Laporte
2024-03-23coqPackages.VST: 2.13 → 2.14Vincent Laporte
2024-03-23compcert: make compatible with Coq 8.18–8.19Vincent Laporte
2024-03-22coqPackages.mathcomp-word: 2.2 → 2.3Vincent Laporte
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm
2024-03-18coqPackages_8_19.itauto: init at 8.19.0Vincent Laporte
2024-03-18coqPackages_8_19.equations: init at 1.3+8.19Vincent Laporte
2024-03-18coqPackages_8_19.aac-tactics: init at 8.19.0Vincent Laporte
2024-03-15coqPackages.VplTactic: init at 0.5Vincent Laporte
2024-03-15coqPackages.Vpl: init at 0.5Vincent Laporte
2024-03-12compcert: add riscv-linux targetsSteven Keuchel
2024-03-09treewide: fix sourceRoot for fetchgit-based srcYueh-Shun Li
2024-02-27coqPackages.LibHyps: 2.0.4.1 -> 2.0.8R. Ryantm
2024-02-22coqPackages.coq-record-update: 0.3.1 -> 0.3.3Léo Stefanesco
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 Caglayan
2024-02-12Merge pull request #286807 from siraben/smtcoq-versionsBen Siraphob
2024-02-12coqPackages.smtcoq: expand to more supported versionsBen Siraphob
2024-02-09coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian
2024-02-01coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen
2024-01-26coqPackages_8_19.mathcomp-real-closedPierre Roux
2024-01-26coqPackages_8_19.multinomialsPierre Roux
2024-01-26coqPackages_8_19.extructuresPierre Roux
2024-01-26coqPackages_8_19.mathcomp-algebra-tacticsPierre Roux
2024-01-26coqPackages_8_19.reglangPierre Roux
2024-01-26coqPackages_8_19.coqprimePierre Roux
2024-01-26coqPackages.coquelicot: 3.4.0 -> 3.4.1Pierre Roux
2024-01-26coqPackages_8_19.QuickChickPierre Roux
2024-01-26coqPackages_8_19.ITreePierre Roux
2024-01-26coqPackages_8_19.pacoPierre Roux
2024-01-26coqPackages.flocq: 4.1.3 -> 4.1.4Pierre Roux
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux
2024-01-18coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenvVincent Laporte
2024-01-18coqPackages.QuickChick: 2.0.1 → 2.0.2Vincent Laporte
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux
2024-01-12coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)Cyril Cohen
2024-01-02coqPackages.coq-elpi: 1.19.0 -> 2.0.1Pierre Roux
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux
2023-12-19coqPackages.paramcoq: 8.18 -> 8.19Pierre Roux
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-09 04:42:21 +0000