about summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
AgeCommit message (Expand)AuthorFilesLines
2023-11-29coqPackages.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
2021-11-25coqPackages.coq-record-update: initLéo Stefanesco1-0/+1
2021-11-12coqPackages.smpl: initBen Siraphob1-0/+1
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen1-0/+1
2021-10-21coqPackages.extructures: init at 0.3.0Vincent Laporte1-0/+1
2021-10-21coqPackages.deriving: init at 0.1.0Vincent Laporte1-0/+1
2021-10-18coqPackages.gaia-hydras: init at 0.5Théo Zimmermann1-0/+1
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-0/+2
2021-09-15coqPackages.parsec: init at 0.1.0Théo Zimmermann1-0/+1
2021-09-15coqPackages.ceres: init at 0.4.0Théo Zimmermann1-0/+1
2021-08-17coqPackages.serapi: init at multiple versionsThéo Zimmermann1-0/+1
2021-08-17coqPackages.addition-chains: init at 0.4Théo Zimmermann1-0/+1
2021-08-17coqPackages.gaia: init at 1.11 and 1.12Théo Zimmermann1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 00:24:00 +0000