about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
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
2024-02-01coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen1-0/+32
2024-01-26coqPackages_8_19.mathcomp-real-closedPierre Roux1-1/+1
2024-01-26coqPackages_8_19.multinomialsPierre Roux1-1/+1
2024-01-26coqPackages_8_19.extructuresPierre Roux2-2/+2
2024-01-26coqPackages_8_19.mathcomp-algebra-tacticsPierre Roux1-1/+1
2024-01-26coqPackages_8_19.reglangPierre Roux1-2/+4
2024-01-26coqPackages_8_19.coqprimePierre Roux1-1/+1
2024-01-26coqPackages.coquelicot: 3.4.0 -> 3.4.1Pierre Roux1-0/+2
2024-01-26coqPackages_8_19.QuickChickPierre Roux1-1/+1
2024-01-26coqPackages_8_19.ITreePierre Roux1-1/+1
2024-01-26coqPackages_8_19.pacoPierre Roux1-1/+1
2024-01-26coqPackages.flocq: 4.1.3 -> 4.1.4Pierre Roux1-0/+2
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux4-2/+10
2024-01-18coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenvVincent Laporte1-1/+3
2024-01-18coqPackages.QuickChick: 2.0.1 → 2.0.2Vincent Laporte1-1/+2
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux7-7/+9
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux8-12/+14