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
Guillaume Girol
da7f6b9bdf
Merge pull request #316654 from symphorien/update_bitwuzla2
...
bitwuzla: 0.4.0 -> 0.5.0
2024-06-07 21:14:39 +02:00
Guillaume Girol
f014663fe4
bitwuzla: 0.4.0 -> 0.5.0
2024-06-02 12:00:00 +00:00
R. Ryantm
596212c22c
prooftree: 0.13 -> 0.14
2024-06-02 01:31:21 +00:00
Weijia Wang
24432d228e
Merge pull request #310394 from Sigmanificient/remove-2y-broken
...
Remove long (18+ months) broken packages
2024-05-30 17:30:31 +02:00
R. Ryantm
59c0a02bcb
opensmt: 2.6.0 -> 2.7.0
2024-05-30 04:55:03 +00:00
Sigmanificient
51cf5b747f
petrinizer: remove
2024-05-30 02:03:57 +02:00
Vincent Laporte
3892ca21ff
hol_light: 2023-11-03 → 2024-05-10
2024-05-29 06:59:21 +02:00
Peder Bergebakken Sundt
be26c089e2
Merge pull request #309880 from jiegec/cbmc
...
cbmc: 5.91.0 -> 5.95.1
2024-05-23 02:13:53 +02:00
Jiajie Chen
6d35a341f8
cbmc: 5.91.0 -> 5.95.1
2024-05-22 11:28:48 +08:00
Aleksana
704511c072
Merge pull request #302405 from wegank/prooftree-prefix
...
prooftree: use prefixKey
2024-05-17 20:00:01 +08:00
R. Ryantm
f9cb16590a
alt-ergo: 2.5.3 -> 2.5.4
2024-05-13 21:51:10 -05:00
Vladimír Čunát
e96601ecf0
Merge #306080 : staging-next 2024-04-22
2024-05-03 17:36:08 +02:00
R. Ryantm
9664aea5d1
eprover: 3.0.03 -> 3.1
2024-05-02 00:48:29 +00:00
github-actions[bot]
6fecc628f9
Merge master into staging-next
2024-04-29 12:01:15 +00:00
Vincent Laporte
1d9cd57ddf
why3: 1.7.1 → 1.7.2
2024-04-29 10:09:25 +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
Mario Rodas
2becf6e837
maintainers: drop marsam
2024-04-24 04:20:00 +00:00
Morgan Jones
80d57056bc
klee: 3.0 -> 3.1
2024-04-09 19:41:50 -07:00
Weijia Wang
7e375a74a2
prooftree: use prefixKey
2024-04-07 20:46:41 +02:00
Weijia Wang
3062a27318
Merge pull request #301348 from symphorien/update_bitwuzla
...
bitwuzla: unstable-2022-10-03 -> 0.4.0
2024-04-05 18:50:28 +02:00
Guillaume Girol
5847c4078d
bitwuzla: test on aarch64-linux
2024-04-03 12:00:00 +00:00
Guillaume Girol
71096455f0
bitwuzla: fix on aarch64-linux
2024-04-03 12:00:00 +00:00
Guillaume Girol
4c932f9688
bitwuzla: fix build with doCheck = false
2024-04-03 12:00:00 +00:00
Guillaume Girol
75e6297d10
cryptominisat: fix static build
2024-04-03 12:00:00 +00:00
Guillaume Girol
67dc7cc993
cadical: fix static build
2024-04-03 12:00:00 +00:00
Guillaume Girol
457090959e
bitwuzla: unstable-2022-10-03 -> 0.4.0
...
lingeling, picosat and minisat are no longer dependencies
2024-04-03 12:00:00 +00:00
Guillaume Girol
5ff10ee902
symfpu: install headers in $out/include, add a pkg-config file
...
bitwuzla switched to meson, and I found no other way to have meson find
symfpu
2024-04-03 12:00:00 +00:00
Guillaume Girol
5a610c5f8d
cadical: add pkg-config file
...
bitwuzla switched to meson, and I was not able to tell meson how to tell
where cadical is located without a pkg-config file
2024-04-03 12:00:00 +00:00
Mario Rodas
9f5604780c
lean4: 4.6.1 -> 4.7.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0
Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md
2024-04-03 04:20:00 +00:00
Weijia Wang
3db4469d98
Merge pull request #276432 from r-ryantm/auto-update/surelog
...
surelog: 1.80 -> 1.82
2024-04-01 01:08:27 +02:00
Weijia Wang
974165196f
Merge pull request #297595 from r-ryantm/auto-update/uhdm
...
uhdm: 1.80 -> 1.82
2024-04-01 01:00:41 +02:00
github-actions[bot]
506e353092
Merge master into haskell-updates
2024-03-30 00:12:08 +00:00
R. Ryantm
3806a82024
dafny: 4.5.0 -> 4.6.0
2024-03-29 04:54:25 +00:00
github-actions[bot]
8de0afeb83
Merge master into haskell-updates
2024-03-28 00:12:55 +00:00
Vincent Laporte
378c25fbb7
alt-ergo: 2.5.2 → 2.5.3
2024-03-27 06:30:04 +01:00
github-actions[bot]
39632d3d4c
Merge master into haskell-updates
2024-03-23 00:12:18 +00:00
Weijia Wang
fed21ab52c
Merge pull request #297381 from emilytrau/logisim-darwin
...
logisim,logisim-evolution,mars-mips: add darwin bundle
2024-03-22 16:17:30 +01:00
sternenseemann
ae679c40db
tamarin-prover: pick patch for Stackage LTS 22 dependencies
...
The provided patch is b3e18f61e4
2024-03-22 12:13:05 +01:00
R. Ryantm
32f2120b01
uhdm: 1.80 -> 1.82
2024-03-21 01:10:36 +00:00
Emily Trau
0d9610c56f
logisim: add darwin bundle
2024-03-20 16:37:19 +11:00
Emily Trau
c87d0c29ee
logisim-evolution: add darwin bundle
2024-03-20 16:28:51 +11:00
Martin Weinelt
3321e63b12
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/sphinx-autobuild/default.nix
2024-03-19 04:00:32 +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
github-actions[bot]
d5491af22d
Merge master into staging-next
2024-03-18 12:01:22 +00:00
whonore
f017802bcc
dafny: 4.4.0 -> 4.5.0
2024-03-17 12:30:18 -04:00
github-actions[bot]
2178d8d857
Merge master into staging-next
2024-03-17 00:02:17 +00:00
github-actions[bot]
9e0e89d13c
Merge master into haskell-updates
2024-03-13 00:12:20 +00:00
