Vladimír Čunát
|
d5d94127fd
|
Merge branch 'staging-next' into staging
Minor conflicts; I hope I didn't mess up:
pkgs/development/tools/misc/binutils/default.nix
pkgs/games/openjk/default.nix
|
2022-04-14 09:53:21 +02:00 |
|
R. Ryantm
|
ae6932e7b9
|
elan: 1.3.1 -> 1.4.0
|
2022-04-13 20:56:11 -04:00 |
|
Luflosi
|
0a2f8109f4
|
abc-verifier: 2022.03.04 -> 2022.03.22
|
2022-04-12 08:38:25 -05:00 |
|
github-actions[bot]
|
28c6c88d42
|
Merge staging-next into staging
|
2022-04-10 00:02:52 +00:00 |
|
Thiago Kenji Okada
|
615e5e10c1
|
Merge pull request #166740 from shadaj/init-cvc5-symfpu
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
|
2022-04-09 20:07:29 +01:00 |
|
Shadaj Laddad
|
74b7319023
|
cvc5: init at 1.0.0
|
2022-04-06 21:20:40 +00:00 |
|
github-actions[bot]
|
241b3652c3
|
Merge staging-next into staging
|
2022-04-06 12:01:50 +00:00 |
|
Eelco Dolstra
|
9c60061edc
|
Merge pull request #165730 from ConnorBaker/z3_versions
z3: init 4.8.15, 4.7.1
|
2022-04-06 12:47:33 +02:00 |
|
Connor Baker
|
923fad863c
|
z3: Remove unused fetchpatch
|
2022-04-05 09:22:52 -04:00 |
|
Shadaj Laddad
|
2d1621012c
|
symfpu: init at unstable-2019-05-17
|
2022-04-04 20:30:28 +00:00 |
|
Martin Weinelt
|
f95a3d1140
|
Merge remote-tracking branch 'origin/staging-next' into staging
|
2022-04-04 00:46:25 +02:00 |
|
github-actions[bot]
|
c46200d454
|
Merge master into staging-next
|
2022-04-03 18:01:07 +00:00 |
|
ajs124
|
672ea43d0e
|
otter: remove after being marked broken for over two years
It was marked in commit ca0e724266 by Tuomas Tynkkynen on 2016-04-27 (commited on 2016-04-27)
|
2022-04-03 16:14:59 +01:00 |
|
ajs124
|
33e8308dbc
|
lean2: remove after being marked broken for over two years
It was marked in commit 5aa4b19946 by Linus Heckemann on 2019-10-07 (commited on 2019-10-08)
|
2022-04-03 16:14:16 +01:00 |
|
ajs124
|
90c42fa33f
|
jonprl: remove after being marked broken for over two years
It was marked in commit 5aa4b19946 by Linus Heckemann on 2019-10-07 (commited on 2019-10-08)
|
2022-04-03 16:14:16 +01:00 |
|
github-actions[bot]
|
9aa014c46a
|
Merge staging-next into staging
|
2022-03-31 12:02:10 +00:00 |
|
github-actions[bot]
|
3c526dbe2c
|
Merge master into staging-next
|
2022-03-31 06:01:18 +00:00 |
|
Ben Siraphob
|
0535074d17
|
nuXmv: fix darwin build
|
2022-03-30 23:43:21 -05:00 |
|
Connor Baker
|
57961e1a5e
|
z3: remove 4.6.0 and 4.5.0
|
2022-03-29 23:46:27 -04:00 |
|
github-actions[bot]
|
36198fe197
|
Merge staging-next into staging
|
2022-03-27 18:01:40 +00:00 |
|
Martin Weinelt
|
d68657af92
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2022-03-27 15:54:05 +02:00 |
|
Sandro
|
7d63d0891b
|
Merge pull request #156413 from numinit/klee-fixes
|
2022-03-27 13:36:16 +02:00 |
|
github-actions[bot]
|
77dc421883
|
Merge staging-next into staging
|
2022-03-26 18:01:56 +00:00 |
|
github-actions[bot]
|
3b6f03e497
|
Merge master into staging-next
|
2022-03-26 18:01:22 +00:00 |
|
Sandro
|
f338d0737c
|
Merge pull request #159997 from jvanbruegge/isabelle-linter
|
2022-03-26 15:58:08 +01:00 |
|
github-actions[bot]
|
8357b101a5
|
Merge staging-next into staging
|
2022-03-25 12:02:05 +00:00 |
|
Vladimír Čunát
|
0a8b4eddd2
|
Merge branch 'master' into staging-next
|
2022-03-25 10:16:56 +01:00 |
|
Ben Siraphob
|
1cf5591a99
|
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18
|
2022-03-24 22:55:34 -05:00 |
|
Connor Baker
|
0489a21577
|
z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0
|
2022-03-24 16:44:24 -04:00 |
|
davidak
|
6ea8d5ee71
|
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
treewide: rename name to pname&version
|
2022-03-24 16:38:33 +01:00 |
|
Doron Behar
|
4a02c56a7d
|
Merge pull request #164746 from ncfavier/makeWrapper-chdir
|
2022-03-24 13:51:27 +02:00 |
|
Vincent Laporte
|
3d0a9d1668
|
coq_8_15: 8.15.0 → 8.15.1
|
2022-03-24 10:17:42 +01:00 |
|
Felix Buehler
|
3bc5196252
|
treewide: rename name to pname&version
|
2022-03-23 22:55:50 +01:00 |
|
Felix Buehler
|
e0476d93fe
|
treewide: rename name to pname&version
|
2022-03-23 22:34:54 +01:00 |
|
Jan van Brügge
|
0391279c24
|
isabelle: Add isabelle-linter as optional component
|
2022-03-23 14:47:21 +01:00 |
|
Vladimír Čunát
|
a519740b4c
|
Merge branch 'staging-next' into staging
|
2022-03-21 11:57:43 +01:00 |
|
Gabriel Ebner
|
3aa72cc471
|
Merge pull request #157515 from jvanbruegge/isabelle-naproche
isabelle: Enable and use naproche from nixpkgs
|
2022-03-20 18:26:33 +01:00 |
|
Martin Weinelt
|
f4f3622cb1
|
Merge remote-tracking branch 'origin/staging-next' into staging
|
2022-03-20 00:00:32 +01:00 |
|
Naïm Favier
|
9160044f5f
|
treewide/makeWrapper: replace --run cd with --chdir
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
|
2022-03-19 09:46:31 +01:00 |
|
Gabriel Ebner
|
dccd0f76c3
|
Merge pull request #164717 from collares/lean-3.42.0
lean: 3.41.0 -> 3.42.0
|
2022-03-18 17:31:26 +01:00 |
|
Mauricio Collares
|
897ba65b6f
|
lean: 3.41.0 -> 3.42.0
|
2022-03-18 11:52:10 -03:00 |
|
github-actions[bot]
|
588298ee0a
|
Merge staging-next into staging
|
2022-03-18 12:01:57 +00:00 |
|
R. Ryantm
|
d29ff668b5
|
opensmt: 2.3.0 -> 2.3.1
|
2022-03-17 18:40:58 +00:00 |
|
zowoq
|
6431086967
|
Merge remote-tracking branch 'origin/staging-next' into staging
Conflicts:
pkgs/development/python-modules/symengine/default.nix
|
2022-03-16 16:03:43 +10:00 |
|
Morgan Jones
|
98a951c509
|
klee: build with klee-uclibc
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
|
2022-03-15 19:21:00 -06:00 |
|
Ben Siraphob
|
cc7b9eac78
|
Merge pull request #164195 from siraben/nuXmv-init
|
2022-03-15 18:53:13 +00:00 |
|
Ben Siraphob
|
b39792d141
|
nuXmv: init at 2.0.0
|
2022-03-15 13:50:58 -05:00 |
|
Alyssa Ross
|
d7e181ff83
|
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
Conflicts:
pkgs/development/compilers/ocaml/4.12.nix
pkgs/development/python-modules/oci/default.nix
pkgs/tools/admin/bubblewrap/default.nix
|
2022-03-14 12:33:16 +00:00 |
|
Sandro
|
529b89d755
|
Merge pull request #161434 from collares/lean-3.40.0
|
2022-03-12 23:43:20 +01:00 |
|
R. Ryantm
|
29d7a27d9f
|
opensmt: 2.2.0 -> 2.3.0
|
2022-03-12 17:44:51 +00:00 |
|