alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
370300 commits 217 branches 121 tags 4.5 GiB
Commit graph

1294 commits

Author SHA1 Message Date
Martin Weinelt a7fc5aaa76 Merge remote-tracking branch 'origin/master' into staging-next 2022-04-15 13:30:48 +02:00
Lassulus 92734ac395
Merge pull request #166865 from malob/treewide-mainProgram 
treewide: add meta.mainProgram to many packages
 2022-04-15 09:28:00 +01:00
Malo Bourgon 0e802eafad treewide: add meta.mainProgram to many packages 2022-04-14 10:24:01 -07:00
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