summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/default.nix
Commit message (Expand)AuthorAge
* coq: fix hompage urlPablo Ovelleiro Corral2023-11-02
* coq: 8.17.1 -> 8.18.0Vincent Laporte2023-09-21
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coq: 8.17.0 → 8.17.1Vincent Laporte2023-06-30
* coq: use dune_3Théo Zimmermann2023-06-14
* coq: 8.16.1 -> 8.17.0Ali Caglayan2023-03-28
* treewide: deprecate isNullFelix Buehler2023-03-06
* treewide: use optionalStringFelix Buehler2023-02-13
* coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`Thomas Gerbet2023-02-06
* coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux2023-01-06
* coqPackages.coq: fix typoArtturin2022-12-27
* coq: 8.16.0 → 8.16.1Vincent Laporte2022-12-05
* coq_8_16: use OCaml 4.14Vincent Laporte2022-10-12
* coq_8_16: 8.16+rc1 -> 8.16.0R. Ryantm2022-09-06
* Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann2022-07-10
* Prepare Coq derivation for Coq 8.17 build infrastructure.Théo Zimmermann2022-07-08
* coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip up...Sergei Trofimovich2022-06-11
* coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
* coq: 8.15.1 → 8.15.2Vincent Laporte2022-06-03
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte2022-05-13
* moving findlib to propagedNativeBuildInputsCyril Cohen2022-05-12
* coqPackages: etcCyril Cohen2022-05-12
* coq: Rename internal versionAtLeast helper to coqAtLeastAnders Kaseorg2022-04-25
* coq_8_15: 8.15.0 → 8.15.1Vincent Laporte2022-03-24
* Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-nativeVincent Laporte2022-02-26
|\
| * coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
| * coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhirUlrik Strid2022-02-24
* | treewide: switch all desktop file generators to new APIK9002022-02-25
|/
* coq: allow static linking by moving wrapGAppsHook to nativeBuildInputsUlrik Strid2022-02-18
* Merge pull request #156629 from siraben/coq-mainprogramBen Siraphob2022-02-06
|\
| * coq: add meta.mainProgramBen Siraphob2022-02-06
* | coq_8_15: 8.15+rc1 → 8.15.0Vincent Laporte2022-01-25
|/
* coq_8_15: init at 8.15+rc1Vincent Laporte2021-12-09
* coq_8_14: 8.14.0 → 8.14.1Vincent Laporte2021-12-01
* coq_8_14: 8.14+rc1 -> 8.14.0Théo Zimmermann2021-10-15
* coq_8_14: init at 8.14+rc1Théo Zimmermann2021-10-13
* coq: add desktop file for coqideNaïm Favier2021-09-23
* coq: enable parallel buildingBen Siraphob2021-07-22
* coq: fix issue introduced in #128603Théo Zimmermann2021-06-30
* Coq: adapt for upcoming 8.14 (#128603)Théo Zimmermann2021-06-30
* gnome: rename from gnome3Jan Tojnar2021-05-08
* coq_8_13: 8.13.1 → 8.13.2Vincent Laporte2021-04-16
* coq: enable coqide on darwinPaul Liétar2021-03-23
* treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-themeSamuel Gräfenstein2021-03-17
* coq_8_13: 8.13.0 → 8.13.1Vincent Laporte2021-03-02
* coq: 8.13+beta1 -> 8.13.0 (#109479)Jarl G. Taxerås Flaten2021-02-03
* treewide: remove implicit use of stdenv.libBen Siraphob2021-01-27
* treewide: remove inherited stdenv.libBen Siraphob2021-01-27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-06 12:51:14 +0000