summary refs log tree commit diff
path: root/pkgs/top-level/coq-packages.nix
AgeCommit message (Expand)AuthorFilesLines
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
2021-07-29coqPackages.graph-theory: init at 0.9Ben Siraphob1-0/+1
2021-07-01coqPackages.itauto: init at 8.13+noBen Siraphob1-0/+1
2021-06-29coqPackages.semantics: initBen Siraphob1-0/+1
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann1-7/+7
2021-06-08coqPackages.reglang: init at 1.1.2Ben Siraphob1-0/+1
2021-06-04compcert: 3.8 → 3.9Vincent Laporte1-1/+1
2021-06-01coqPackages.topology: initBen Siraphob1-0/+1
2021-06-01coqPackages.zorns-lemma: initBen Siraphob1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 20:32:25 +0000