Vincent Laporte
66f2bf71eb
coqPackages.smtcoq: 2.1 → 2.2
2024-07-03 18:49:22 +02:00
Jan Tojnar
5c5c20919b
adwaita-icon-theme: Move from gnome scope to top-level
...
It is widely used outside gnome – although it probably should not be.
2024-07-01 08:26:46 +02:00
Pierre Roux
383e9b5696
coq-elpi: 2.0.1 -> 2.2.0 ( #323590 )
...
elpi: 1.18.1 -> 1.19.2
2024-07-01 08:04:15 +02:00
Pierre Roux
971ef0c694
coq_8_20: init at 8.20+rc1 ( #323105 )
2024-06-28 15:47:38 +02:00
Vincent Laporte
e2ca8d5a95
coqPackages.coq-ext-lib: 0.12.0 → 0.12.1
2024-06-28 06:19:40 +02:00
Vincent Laporte
90e35645fc
coqPackages.coq-hammer: init at 1.3.2
2024-06-27 07:09:32 +02:00
Vincent Laporte
b8a048b959
coqPackages.coq-hammer-tactics: init at 1.3.2
2024-06-27 07:09:32 +02:00
Philip Taron
3aaf29fe22
coqPackages.coq-elpi: avoid top-level with ...;
2024-06-25 09:05:11 -07:00
Philip Taron
e8955041c3
coqPackages.mathcomp-analysis: avoid top-level with ...;
2024-06-25 09:04:57 -07:00
Philip Taron
94112e3ae5
coqPackages.mathcomp: avoid top-level with ...;
2024-06-25 09:04:21 -07:00
Philip Taron
9ab423efec
coqPackages.metacoq: avoid top-level with ...;
2024-06-25 09:03:43 -07:00
Vincent Laporte
8abb1f5afb
compcert: add support for Coq 8.19.2
2024-06-17 09:15:12 +02:00
Vincent Laporte
47195c4d69
coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0
2024-06-10 09:08:04 +02:00
Alexis Hildebrandt
f8c4a98e8e
treewide: Remove the definite article from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"([Tt]he)? ' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Tt]he (.)/\1\U\2/'
2024-06-09 23:08:46 +02:00
Alexis Hildebrandt
755b915a15
treewide: Remove indefinite article from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Alexis Hildebrandt
bf995e3641
treewide: Remove ending period from meta.description
...
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*".*\.";' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*)\.";/\1";/'
2024-06-09 23:04:51 +02:00
Théo Zimmermann
91ac2098b6
Merge pull request #316196 from Alizter/ps/rr/coq_lsp__0_1_8____0_1_9
...
coq-lsp: 0.1.8 -> 0.1.9
2024-06-07 15:08:31 +02:00
Vincent Laporte
b37b08ae04
coqPackages.aac-tactics: 8.19.0 → 8.19.1
2024-06-04 16:22:00 +02:00
Vincent Laporte
81537e0656
coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4
2024-05-31 20:55:19 +02:00
Ali Caglayan
c49ca8273d
coq-lsp: 0.1.8 -> 0.1.9
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2024-05-31 17:51:29 +02:00
Sigmanificient
8b473d1a27
treewide: remove unused fetch* (and other) arguments
2024-05-30 13:36:48 +02:00
Vincent Laporte
150a859d34
coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1
2024-05-27 05:31:26 +02:00
Vincent Laporte
8c03ab6569
coqPackages.graph-theory: 0.9.3 → 0.9.4
2024-05-24 06:09:40 +02:00
Léo Stefanesco
1e9759cb37
coqPackages.coq-record-update: 0.3.3 -> 0.3.4
2024-05-06 14:15:24 +02:00
Vladimír Čunát
e96601ecf0
Merge #306080 : staging-next 2024-04-22
2024-05-03 17:36:08 +02:00
Vincent Laporte
9c479cf090
compcert: 3.13.1 → 3.14 ( #308752 )
2024-05-03 14:47:10 +00:00
github-actions[bot]
ae736c738d
Merge master into staging-next
2024-05-03 12:01:32 +00:00
Sebastian Ertel
ea51404f4e
coqPackages.ssprove: init at 0.2.0 ( #306981 )
2024-05-03 11:32:09 +02:00
Jan Tojnar
eb04659fc2
treewide: wrapGAppsHook → wrapGAppsHook3
...
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-04-27 02:23:22 +02:00
Vincent Laporte
c82a0a78f6
coqPackages.math-classes: 8.18.0 → 8.19.0
...
coqPackages.corn: 8.18.0 → 8.19.0
2024-04-26 11:18:25 +02:00
Mario Rodas
2becf6e837
maintainers: drop marsam
2024-04-24 04:20:00 +00:00
Vincent Laporte
f1e8e4837d
coqPackages.CoLoR: 1.8.4 → 1.8.5
2024-04-19 13:52:00 +02:00
Vincent Laporte
1b411ccbf3
coqPackages.stdpp: 1.9.0 → 1.10.0
...
coqPackages.iris: 4.1.0 → 4.2.0
2024-04-15 10:13:00 +02:00
Vincent Laporte
2f8b02e883
coqPackages.vscoq-language-server: 2.0.3 → 2.1.2
2024-04-08 20:48:40 +02:00
Weijia Wang
719845c115
Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps
...
coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
2024-04-05 20:39:20 +02:00
Vincent Laporte
e976fa8f49
coqPackages.vcfloat: enable for Coq 8.18 & 8.19
2024-04-02 22:41:01 +02:00
Vincent Laporte
c02cbef6a9
coqPackages.gappalib: 1.5.4 → 1.5.5
2024-04-02 22:41:01 +02:00
Vincent Laporte
cffe0a32af
coqPackages.interval: 4.9.0 → 4.10.0
2024-04-02 22:41:01 +02:00
Vincent Laporte
3c336f3089
coqPackages.Vpl: fix meta
2024-04-02 07:06:45 +02:00
K900
59bccda153
Revert "stdenv: add meta.repository field"
...
This reverts commit 7e1443abbb
2024-03-30 17:19:21 +03:00
a-n-n-a-l-e-e
2809c84cfb
Merge pull request #294347 from lolbinarycat/meta.repository
...
stdenv: add meta.repository field
2024-03-29 13:03:04 -07:00
binarycat
7e1443abbb
stdenv: add meta.repository field
2024-03-29 14:34:09 -04:00
Vincent Laporte
824952ff6b
coqPackages.metacoq: 1.2.1 → 1.3.1
2024-03-29 14:00:42 +01:00
Vincent Laporte
e0188a425e
coqPackages_8_19.HoTT: init at 8.19
2024-03-28 06:24:51 +01:00
Vincent Laporte
08883e5864
coqPackages_8_19.dpdgraph: init at 1.0+8.19
2024-03-28 06:24:51 +01:00
Vincent Laporte
e94ef3d054
coqPackages.VST: 2.13 → 2.14
2024-03-23 07:25:06 +01:00
Vincent Laporte
d3babf24b7
compcert: make compatible with Coq 8.18–8.19
2024-03-23 07:25:06 +01:00
Vincent Laporte
d70d9425f4
coqPackages.mathcomp-word: 2.2 → 2.3
2024-03-22 08:08:45 +01:00
stuebinm
ff1a94e523
treewide: add meta.mainProgram to packages with a single binary
...
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
Vincent Laporte
96df16fbd3
coqPackages_8_19.itauto: init at 8.19.0
2024-03-18 20:24:21 +01:00
