summary refs log tree commit diff
path: root/pkgs/applications/science/logic/coq/default.nix
Commit message (Expand)AuthorAge
* 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
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* coqPackages: refactorCyril Cohen2021-01-09
* coq_8_12: 8.12.1 → 8.12.2Vincent Laporte2020-12-16
* coq_8_13: init at 8.13+β1Vincent Laporte2020-12-15
* coq_8_12: 8.12.0 → 8.12.1Vincent Laporte2020-11-15
* Revert "coq: propagate and install ocaml and findlib"Vincent Laporte2020-10-31
* coq: propagate and install ocaml and findlibThéo Zimmermann2020-10-21
* ocamlPackages.lablgtk3: propagate gtk3 (#95849)Mario Rodas2020-08-21
* coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte2020-08-08
* coq_8_5: fix build (use gnumake 4.2)Vincent Laporte2020-08-03
* coq_8_12: init at 8.12+β1Vincent Laporte2020-06-19
* coq_8_11: 8.11.1 → 8.11.2Vincent Laporte2020-05-20
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coq_8_11: 8.11.0 → 8.11.1Vincent Laporte2020-04-05
* coqPackages_8_11.coq: 8.11+β1 → 8.11.0Vincent Laporte2020-01-31
* coq: disable CoqIDE on Darwin for Coq ≥ 8.10Vincent Laporte2020-01-31
* treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren2019-12-30
* coq_8_11: init at 8.11+β1Vincent Laporte2019-12-07
* coq_8_10: 8.10.1 → 8.10.2Vincent Laporte2019-12-03
* coq: Fix setup hookJohn Ericson2019-11-25
* coq_8_10: 8.10.0 → 8.10.1Vincent Laporte2019-10-25
* coq_8_10: enable CoqIDEVincent Laporte2019-10-25
* coq_8_10: 8.10+β3 → 8.10.0Vincent Laporte2019-10-16
* coq: do not build CoqIDE for Coq 8.10Vincent Laporte2019-10-16
* coq_8_10: do not take “camlp5” as inputVincent Laporte2019-10-16
* coq_8_10: fix CoqIDE on darwinVincent Laporte2019-10-16
* coq_8_10: 8.10+β2 → 8.10+β3Vincent Laporte2019-09-16
* treewide: remove redundant quotesvolth2019-08-26
* treewide: name -> pnamevolth2019-08-17
* coq: 8.10+beta1 -> 8.10+beta2Théo Zimmermann2019-07-14
* coq_8_9: 8.9.0 -> 8.9.1Vincent Laporte2019-05-29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-29 22:01:58 +0000