about summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-27coqPackages.coq-hammer-tactics: init at 1.3.2Vincent Laporte1-0/+1
2024-05-03compcert: 3.13.1 → 3.14 (#308752)Vincent Laporte1-1/+1
2024-05-03coqPackages.ssprove: init at 0.2.0 (#306981)Sebastian Ertel1-0/+1
2024-04-29coq: default to version 8.19Vincent Laporte1-1/+1
2024-04-02coqPackages.vcfloat: enable for Coq 8.18 & 8.19Vincent Laporte1-3/+4
2024-04-02coqPackages.interval: 4.9.0 → 4.10.0Vincent Laporte1-1/+3
2024-03-15coqPackages.VplTactic: init at 0.5Vincent Laporte1-0/+1
2024-03-15coqPackages.Vpl: init at 0.5Vincent Laporte1-0/+1
2024-02-01coqPackages.vscoq-language-server: init at 2.0.3 (#256515)Cyril Cohen1-0/+1
2024-01-22coqPackages.compcert: use OCaml 4.14Vincent Laporte1-0/+1
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux1-0/+2
2023-12-15treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobsAdam Joseph1-16/+18
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte1-2/+1
2023-11-10coqPackages.iris-named-props: new expression (#263100)ineol1-0/+1
2023-11-01coqPackages.VST: 2.11.1 → 2.12Vincent Laporte1-1/+7
2023-09-29coqPackages.vcfloat: init at 2.1.1Quinn Dougherty1-0/+1
2023-09-21coq: 8.17.1 -> 8.18.0Vincent Laporte1-1/+1
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-0/+2
2023-08-03coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte1-1/+4
2023-07-25coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte1-2/+10
2023-05-11mathcomp-infotheo: init at 0.5.1 (#231077)affeldt-aist1-0/+1
2023-04-13coq: default to version 8.17Vincent Laporte1-1/+1
2023-03-30Put mathcomp packages in alphabetical orderPierre Roux1-3/+3
2023-03-30Add coqPackages.mathcomp-aperyPierre Roux1-0/+1
2023-03-30coqPackages_8_13.VST: fix by using compatible version of ITreeThéo Zimmermann1-2/+4
2023-03-01compcert: 3.11 → 3.12Vincent Laporte1-1/+4
2023-02-21coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16Mario Rodas1-0/+1
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux1-0/+2
2022-11-24coqPackages.mathcomp-algebra-tactics: init at 1.0.0Cyril Cohen1-0/+1
2022-10-12coq: default to version 8.16Vincent Laporte1-1/+1
2022-10-12coq_8_16: use OCaml 4.14Vincent Laporte1-1/+3
2022-09-26Split coqPackages.mathcomp-analysisPierre Roux1-0/+1
2022-09-11Merge pull request #188766 from cdepillabout/overrideCoqDerivationDennis Gosnell1-1/+1
2022-09-06add attributes for metacoq subpackagesKenji Maillard1-0/+4
2022-08-29coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation func...Dennis Gosnell1-1/+1
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann1-0/+1
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux1-0/+2
2022-05-25coqPackages: etcCyril Cohen1-1/+4
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-4/+1
2022-05-12coqPackages: etcCyril Cohen1-1/+4
2022-05-07coq: default to 8.15Vincent Laporte1-1/+1
2022-05-03coqPackages.metacoq: create package (#162639)Kenji Maillard1-0/+1
2022-04-13coqPackages.smtcoq: init at itp22Ben Siraphob1-0/+1
2022-04-13coqPackages.trakt: init at 1.0Ben Siraphob1-0/+1
2022-02-20coqPackages.LibHyps: init at 2.0.4.1Théo Zimmermann1-0/+1
2022-02-16coqPackages.VST: 2.8 → 2.9Vincent Laporte1-3/+1
2021-12-24coqPackages.mathcomp-word: init at 1.0Vincent Laporte1-0/+1
2021-12-09coq_8_15: init at 8.15+rc1Vincent Laporte1-0/+2
2021-12-01coq_8_14: 8.14.0 → 8.14.1Vincent Laporte1-2/+7
2021-11-29compcert: 3.9 → 3.10Vincent Laporte1-2/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-16 03:48:03 +0000