Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-06-28 | coq_8_20: init at 8.20+rc1 (#323105) | Pierre Roux | 1 | -0/+1 | |
2024-06-17 | coq: 8.19.1 → 8.19.2 | Vincent Laporte | 1 | -0/+1 | |
2024-04-27 | treewide: wrapGAppsHook → wrapGAppsHook3 | Jan Tojnar | 1 | -2/+2 | |
This was achieved using the following command: sd 'wrapGAppsHook\b' wrapGAppsHook3 (rg -l 'wrapGAppsHook\b') And then manually reverted the following changes: - alias in top-level.nix - function name in wrap-gapps-hook.sh - comment in postFixup of at-spi2-core - comment in gtk4 - comment in preFixup of 1password-gui/linux.nix - comment in postFixup of qgis/unwrapped-ltr.nix and qgis/unwrapped.nix - comment in postFixup of telegram-desktop - comment in postFixup of fwupd - buildCommand of mongodb-compass - postFixup of xflux-gui - comment in a patch in kdePackages.kde-gtk-config and plasma5Packages.kde-gtk-config - description of programs.sway.wrapperFeatures.gtk NixOS option (manual rebuild) | |||||
2024-03-12 | coq_8_19: 8.19.0 → 8.19.1 | Vincent Laporte | 1 | -0/+1 | |
2024-01-26 | coq: 8.19+rc1 -> 8.19.0 | Pierre Roux | 1 | -1/+1 | |
2023-12-19 | coq_8_19: init at 8.19+rc1 | Pierre Roux | 1 | -0/+1 | |
2023-11-02 | coq: fix hompage url | Pablo Ovelleiro Corral | 1 | -1/+1 | |
Just a trivial nitpick | |||||
2023-09-21 | coq: 8.17.1 -> 8.18.0 | Vincent Laporte | 1 | -1/+1 | |
2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -1/+2 | |
2023-06-30 | coq: 8.17.0 → 8.17.1 | Vincent Laporte | 1 | -0/+1 | |
2023-06-14 | coq: use dune_3 | Théo Zimmermann | 1 | -1/+1 | |
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune. | |||||
2023-03-28 | coq: 8.16.1 -> 8.17.0 | Ali Caglayan | 1 | -1/+1 | |
Signed-off-by: Ali Caglayan <alizter@gmail.com> | |||||
2023-03-06 | treewide: deprecate isNull | Felix Buehler | 1 | -1/+1 | |
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull | |||||
2023-02-13 | treewide: use optionalString | Felix Buehler | 1 | -6/+6 | |
2023-02-06 | coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru` | Thomas Gerbet | 1 | -1/+1 | |
2023-01-06 | coq_8_17: init at 8.17+rc1 (#209145) | Pierre Roux | 1 | -0/+1 | |
2022-12-27 | coqPackages.coq: fix typo | Artturin | 1 | -1/+1 | |
introduced in d1136611 | |||||
2022-12-05 | coq: 8.16.0 → 8.16.1 | Vincent Laporte | 1 | -0/+1 | |
2022-10-12 | coq_8_16: use OCaml 4.14 | Vincent Laporte | 1 | -3/+6 | |
2022-09-06 | coq_8_16: 8.16+rc1 -> 8.16.0 | R. Ryantm | 1 | -1/+1 | |
2022-07-10 | Split out CoqIDE by default when Coq >= 8.14. | Théo Zimmermann | 1 | -2/+3 | |
2022-07-08 | Prepare Coq derivation for Coq 8.17 build infrastructure. | Théo Zimmermann | 1 | -2/+16 | |
2022-06-11 | coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip ↵ | Sergei Trofimovich | 1 | -9/+9 | |
update fetchzip changed unpacking of UTF-8 files on glibc systems: https://github.com/NixOS/nixpkgs/pull/176253 As a result unpacked contents changed it's filenames. Closes: https://github.com/NixOS/nixpkgs/issues/176225 | |||||
2022-06-08 | coq_8_16: init at 8.16+rc1 | Pierre Roux | 1 | -0/+1 | |
2022-06-03 | coq: 8.15.1 → 8.15.2 | Vincent Laporte | 1 | -0/+1 | |
2022-05-25 | coqPackages: etc | Cyril Cohen | 1 | -5/+8 | |
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages` | |||||
2022-05-13 | Revert "coqPackages: etc" | Vincent Laporte | 1 | -5/+3 | |
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4. | |||||
2022-05-13 | Revert "moving findlib to propagedNativeBuildInputs" | Vincent Laporte | 1 | -6/+3 | |
This reverts commit 82440c9374f4de934e287476e2b3a4bbf837d98a. | |||||
2022-05-12 | moving findlib to propagedNativeBuildInputs | Cyril Cohen | 1 | -3/+6 | |
2022-05-12 | coqPackages: etc | Cyril Cohen | 1 | -3/+5 | |
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages` | |||||
2022-04-25 | coq: Rename internal versionAtLeast helper to coqAtLeast | Anders Kaseorg | 1 | -14/+14 | |
To avoid potential confusion with lib.versionAtLeast. Signed-off-by: Anders Kaseorg <andersk@mit.edu> | |||||
2022-03-24 | coq_8_15: 8.15.0 → 8.15.1 | Vincent Laporte | 1 | -0/+1 | |
2022-02-26 | Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native | Vincent Laporte | 1 | -4/+6 | |
coq: Move dune, ocaml and findlib to nativeBuildInputs | |||||
2022-02-25 | treewide: switch all desktop file generators to new API | K900 | 1 | -1/+1 | |
Notably: - remove explicit arguments that match the defaults - convert everything to the right Nix types | |||||
2022-02-25 | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ↵ | Ulrik Strid | 1 | -1/+1 | |
= true Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com> | |||||
2022-02-24 | coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir | Ulrik Strid | 1 | -3/+5 | |
2022-02-18 | coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs | Ulrik Strid | 1 | -1/+2 | |
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com> | |||||
2022-02-06 | Merge pull request #156629 from siraben/coq-mainprogram | Ben Siraphob | 1 | -0/+1 | |
coq: add meta.mainProgram | |||||
2022-02-06 | coq: add meta.mainProgram | Ben Siraphob | 1 | -0/+1 | |
2022-01-25 | coq_8_15: 8.15+rc1 → 8.15.0 | Vincent Laporte | 1 | -1/+1 | |
2021-12-09 | coq_8_15: init at 8.15+rc1 | Vincent Laporte | 1 | -0/+1 | |
2021-12-01 | coq_8_14: 8.14.0 → 8.14.1 | Vincent Laporte | 1 | -2/+4 | |
And build Coq ≥ 8.14 with OCaml 4.12 | |||||
2021-10-15 | coq_8_14: 8.14+rc1 -> 8.14.0 | Théo Zimmermann | 1 | -1/+1 | |
2021-10-13 | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 1 | -3/+6 | |
2021-09-23 | coq: add desktop file for coqide | Naïm Favier | 1 | -3/+17 | |
2021-07-22 | coq: enable parallel building | Ben Siraphob | 1 | -0/+1 | |
2021-06-30 | coq: fix issue introduced in #128603 | Théo Zimmermann | 1 | -1/+1 | |
This triggerred coq-community/coq-nix-toolbox#42. | |||||
2021-06-30 | Coq: adapt for upcoming 8.14 (#128603) | Théo Zimmermann | 1 | -3/+4 | |
2021-05-08 | gnome: rename from gnome3 | Jan Tojnar | 1 | -2/+2 | |
Since GNOME version is now 40, it no longer makes sense to use the old attribute name. | |||||
2021-04-16 | coq_8_13: 8.13.1 → 8.13.2 | Vincent Laporte | 1 | -0/+1 | |