about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq
AgeCommit message (Expand)AuthorFilesLines
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux1-0/+1
2024-06-17coq: 8.19.1 → 8.19.2Vincent Laporte1-0/+1
2024-04-27treewide: wrapGAppsHook → wrapGAppsHook3Jan Tojnar1-2/+2
2024-03-12coq_8_19: 8.19.0 → 8.19.1Vincent Laporte1-0/+1
2024-01-26coq: 8.19+rc1 -> 8.19.0Pierre Roux1-1/+1
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux1-0/+1
2023-11-02coq: fix hompage urlPablo Ovelleiro Corral1-1/+1
2023-09-21coq: 8.17.1 -> 8.18.0Vincent Laporte1-1/+1
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+2
2023-06-30coq: 8.17.0 → 8.17.1Vincent Laporte1-0/+1
2023-06-14coq: use dune_3Théo Zimmermann1-1/+1
2023-03-28coq: 8.16.1 -> 8.17.0Ali Caglayan1-1/+1
2023-03-06treewide: deprecate isNullFelix Buehler1-1/+1
2023-02-13treewide: use optionalStringFelix Buehler1-6/+6
2023-02-06coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`Thomas Gerbet1-1/+1
2023-01-06coq_8_17: init at 8.17+rc1 (#209145)Pierre Roux1-0/+1
2022-12-27coqPackages.coq: fix typoArtturin1-1/+1
2022-12-05coq: 8.16.0 → 8.16.1Vincent Laporte1-0/+1
2022-10-12coq_8_16: use OCaml 4.14Vincent Laporte1-3/+6
2022-09-06coq_8_16: 8.16+rc1 -> 8.16.0R. Ryantm1-1/+1
2022-07-10Split out CoqIDE by default when Coq >= 8.14.Théo Zimmermann1-2/+3
2022-07-08Prepare Coq derivation for Coq 8.17 build infrastructure.Théo Zimmermann1-2/+16
2022-06-11coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip up...Sergei Trofimovich1-9/+9
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux1-0/+1
2022-06-03coq: 8.15.1 → 8.15.2Vincent Laporte1-0/+1
2022-05-25coqPackages: etcCyril Cohen1-5/+8
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-5/+3
2022-05-13Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte1-6/+3
2022-05-12moving findlib to propagedNativeBuildInputsCyril Cohen1-3/+6
2022-05-12coqPackages: etcCyril Cohen1-3/+5
2022-04-25coq: Rename internal versionAtLeast helper to coqAtLeastAnders Kaseorg1-14/+14
2022-03-24coq_8_15: 8.15.0 → 8.15.1Vincent Laporte1-0/+1
2022-02-26Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-nativeVincent Laporte1-4/+6
2022-02-25treewide: switch all desktop file generators to new APIK9001-1/+1
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2022-02-24coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhirUlrik Strid1-3/+5
2022-02-18coq: allow static linking by moving wrapGAppsHook to nativeBuildInputsUlrik Strid1-1/+2
2022-02-06Merge pull request #156629 from siraben/coq-mainprogramBen Siraphob1-0/+1
2022-02-06coq: add meta.mainProgramBen Siraphob1-0/+1
2022-01-25coq_8_15: 8.15+rc1 → 8.15.0Vincent Laporte1-1/+1
2021-12-09coq_8_15: init at 8.15+rc1Vincent Laporte1-0/+1
2021-12-01coq_8_14: 8.14.0 → 8.14.1Vincent Laporte1-2/+4
2021-10-15coq_8_14: 8.14+rc1 -> 8.14.0Théo Zimmermann1-1/+1
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-3/+6
2021-09-23coq: add desktop file for coqideNaïm Favier1-3/+17
2021-07-22coq: enable parallel buildingBen Siraphob1-0/+1
2021-06-30coq: fix issue introduced in #128603Théo Zimmermann1-1/+1
2021-06-30Coq: adapt for upcoming 8.14 (#128603)Théo Zimmermann1-3/+4
2021-05-08gnome: rename from gnome3Jan Tojnar1-2/+2
2021-04-16coq_8_13: 8.13.1 → 8.13.2Vincent Laporte1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-13 23:53:53 +0000