Morgan Jones
894f94a26b
stp: patch out use of distutils.sysconfig
...
This is fully removed in Python 3.12 and should be replaced with
sysconfig.get_path('purelib').
2024-07-19 01:56:57 -07:00
Atemu
476b450df8
Merge pull request #272380 from chayleaf/gradle2
...
gradle: add setup hook
2024-07-14 22:08:41 +02:00
aleksana
592e3845c4
treewide: sha256 -> hash attribute for fetchgit
2024-07-14 19:10:08 +08:00
éclairevoyant
0e5c272e42
treewide: fix uses of repo = finalAttrs.pname
2024-07-12 20:18:43 -04:00
chayleaf
5aa611e4d0
key: convert to gradle setup hook
2024-07-12 21:36:20 +07:00
Jan van Brügge
17219eb17a
isabelle: 2023 -> 2024
2024-07-06 18:41:28 +01:00
Jan van Brügge
12e9433747
naproche: unstable-2024-01-18 -> unstable-2024-05-19
2024-07-06 18:39:04 +01:00
Weijia Wang
c6b4e6a629
Merge pull request #323534 from r-ryantm/auto-update/workcraft
...
workcraft: 3.4.2 -> 3.5.0
2024-07-06 01:20:01 +02:00
Vincent Laporte
59b0ada8c1
yices: 2.6.4 → 2.6.5
2024-07-05 13:23:16 +02:00
Weijia Wang
74825aa898
Merge pull request #311846 from hzeller/feature-20240514-update-uhdm-surelog
...
uhdm 1.82 -> 1.83; surelog 1.82 -> 1.83
2024-07-03 12:28:42 +02:00
Weijia Wang
43ec339723
Merge pull request #320909 from r-ryantm/auto-update/cadical
...
cadical: 1.9.5 -> 2.0.0
2024-07-03 10:22:31 +02:00
Weijia Wang
db486e095c
Merge pull request #317508 from r-ryantm/auto-update/lean4
...
lean4: 4.8.0 -> 4.9.0
2024-07-03 00:38:25 +02:00
Jan Tojnar
0f56e32213
Merge pull request #319659 from jtojnar/gnome-extract
...
Move various packages out of gnome scope
2024-07-02 08:03:53 +02:00
Guillaume Maudoux
f6a8f97b23
Merge pull request #323035 from whonore/update-dafny-4.7.0
...
dafny: 4.6.0 -> 4.7.0
2024-07-01 23:39:19 +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
R. Ryantm
d85d653397
lean4: 4.8.0 -> 4.9.0
2024-07-01 02:37:57 +00:00
Matthias Beyer
8f85348e8f
Merge pull request #322385 from r-ryantm/auto-update/cbmc
...
cbmc: 6.0.0 -> 6.0.1
2024-06-30 17:31:54 +02:00
R. Ryantm
6331a2bc2c
workcraft: 3.4.2 -> 3.5.0
2024-06-30 06:01:48 +00:00
Pierre Roux
971ef0c694
coq_8_20: init at 8.20+rc1 ( #323105 )
2024-06-28 15:47:38 +02:00
whonore
39c9c6b67c
dafny: 4.6.0 -> 4.7.0
2024-06-27 16:10:28 -07:00
R. Ryantm
f7c16cc844
cbmc: 6.0.0 -> 6.0.1
2024-06-25 11:22:31 +00:00
Tristan Ross
6d16d94dd4
Merge pull request #304204 from numinit/klee-llvm-override
...
klee: make llvmPackages and uclibc overridable
2024-06-23 20:04:10 -07:00
Masum Reza
8e4351dee7
Merge pull request #320775 from r-ryantm/auto-update/cbmc
...
cbmc: 5.95.1 -> 6.0.0
2024-06-21 09:55:24 +05:30
Nick Cao
a15139cf87
Merge pull request #320534 from luochen1990/lean-4.8
...
lean4: 4.7.0 -> 4.8.0
2024-06-19 20:52:57 -04:00
R. Ryantm
9ae2f08097
cadical: 1.9.5 -> 2.0.0
2024-06-19 00:28:24 +00:00
R. Ryantm
6ce1fa5216
cbmc: 5.95.1 -> 6.0.0
2024-06-18 13:02:04 +00:00
Morgan Jones
bc9fffbb3b
klee: add mainProgram
2024-06-17 23:15:33 -07:00
Morgan Jones
0513d66f10
klee: add nix-update-script
2024-06-17 23:15:32 -07:00
Morgan Jones
32a6b1ef7a
klee: make llvmPackages and uclibc overridable
...
This should allow users to pick which llvmPackages they would like to
use, since Klee supports llvmPackages_11 through llvmPackages_16 as of
Klee 3.1 (defaulting to 13 for stability).
Use parallel building for both Klee and klee-uclibc to make things faster.
2024-06-17 23:15:32 -07:00
LuoChen
52e2f9fc91
lean4: 4.7.0 -> 4.8.0
2024-06-17 21:29:37 +08:00
Vincent Laporte
f7ff7d4e9b
coq: 8.19.1 → 8.19.2
2024-06-17 09:15:12 +02:00
Emily
4b1d39d935
treewide: remove myself from packages I don’t use
...
I’ve had an extended absence from Nix work and no longer actively
use a bunch of packages I used to maintain, so remove myself as a
maintainer from things I can’t usefully review/test changes for
as I ease back into things. This does unfortunately leave a few
packages orphaned (`stm32loader`, `tinyprog`, `python3Packages.fx2`,
and `python3Packages.jsonmerge`).
2024-06-15 16:53:23 +01:00
Martin Joerg
df5a102839
cryptoverif: 2.08pl1 -> 2.09
...
f32a46b5ac/CHANGES
2024-06-12 15:01:36 +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
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
Henner Zeller
903dd9f8db
surelog: 1.82 -> 1.83
2024-05-14 21:24:11 -07:00
Henner Zeller
a380256a93
uhdm: 1.82 -> 1.83
2024-05-14 21:15:16 -07: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
