JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
173,663 Commits 2 Branches 0 Tags 12 GiB
c37aa79639
Commit Graph

708 Commits

Author SHA1 Message Date
Gabriel Ebner
11318d1ba2 elan: 0.7.4 -> 0.7.5 2019-03-22 11:16:44 +01:00
Gabriel Ebner
52c3ee6c4d elan: 0.7.2 -> 0.7.4 2019-03-20 13:33:24 +01:00
Gabriel Ebner
be261a1ede isabelle: refactor 
Fixes #33337
 2019-03-14 11:48:30 +01:00
Gabriel Ebner
c7f43de43c isabelle: 2017 -> 2018 2019-03-12 14:32:48 +01:00
Silvan Mosberger
8ca1c925c6
sad: Fix build 2019-03-09 01:07:18 +01:00
R. RyanTM
4f1c44906c cryptominisat: 5.6.6 -> 5.6.8 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
 2019-03-01 16:58:38 -08:00
John Ericson
8293ab8461
Merge pull request #56408 from Mic92/runtime-shell 
treewide: use runtimeShell instead of stdenv.shell whenever possible
 2019-02-26 18:04:27 -05:00
Jörg Thalheim
dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible 
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
 2019-02-26 14:10:49 +00:00
Merlin Göttlinger
5781856630 clprover: init at 1.0.3 (#56403) 
* clprover: init at 1.0.3
 2019-02-26 12:36:04 +00:00
Vincent Laporte
4266523c14 why3: 1.1.1 -> 1.2.0 2019-02-25 10:09:15 +01:00
Vladimír Čunát
32767d139f
Merge branch 'staging-next' 
This round is without the systemd CVE,
as we don't have binaries for that yet.
BTW, I just ignore darwin binaries these days,
as I'd have to wait for weeks for them.
 2019-02-20 09:38:45 +01:00
Vincent Laporte
e4035c3e0e
Merge pull request #55633 from vbgl/alt-ergo-2.3.0 
alt-ergo: 2.2.0 -> 2.3.0
 2019-02-19 09:53:57 +01:00
Frederik Rietdijk
6fe10d2779 Merge master into staging-next 2019-02-16 09:29:54 +01:00
Samuel W. Flint
52a7c4e30e z3: Patch file to get rid of python error 
See #55591, Z3Prover/z3#2131
 2019-02-14 10:11:15 -06:00
Vincent Laporte
e4a8af06d1
alt-ergo: 2.2.0 -> 2.3.0 2019-02-12 09:19:06 +00:00
Matthew Bauer
92f0f8dd68 Merge remote-tracking branch 'NixOS/master' into staging 2019-01-27 00:01:13 -05:00
Michael Raskin
cc74c0399e leo3: init at 1.2 2019-01-27 01:57:11 +01:00
Vincent Laporte
b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Michael Raskin
ebb370f680 z3-tptp: init 
Z3 ships a TPTP-supporting wrapper as an example; allow building it
 2019-01-22 16:51:18 +01:00
Vladimír Čunát
3fe32b675e
Merge branch 'master' into staging 2019-01-22 15:59:42 +01:00
Mario Rodas
9a18d9356d
lean: 3.4.1 -> 3.4.2 2019-01-20 06:46:37 -05:00
Austin Seipp
5069fa0a30 nixpkgs: remove sapic-0.9 
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Austin Seipp
fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic 
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
rnhmjoj
bcf54ce5bb
treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
Gabriel Ebner
49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Austin Seipp
c10650760d yices: s/fetchurl/fetchFromGitHub/ 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp
38aa0a3df4 z3: 4.8.3 -> 4.8.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp
d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Simon Lackerbauer
f7367cbf1c abella: 2.0.5 -> 2.0.6 2019-01-08 17:05:30 +00:00
Jörg Thalheim
37fe593d48
cryptominisat: switch to python3 2019-01-05 16:38:10 +01:00
Jörg Thalheim
4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6 2019-01-05 12:45:44 +01:00
Vincent Laporte
ea92816c74 why3: 1.1.0 -> 1.1.1 (#52980) 2018-12-29 21:05:23 +01:00
Samuel Dionne-Riel
3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1 
aarch64: ZHF for aarch64 (1/??)
 2018-12-20 21:06:52 -05:00
R. RyanTM
ae22d3dc85 cubicle: 1.1.1 -> 1.1.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cubicle/versions
 2018-12-16 17:24:47 +01:00
Samuel Dionne-Riel
5e1dfd3025 avy: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
7aabdea1ca aspino: Disable build on aarch64-linux 
This is due to glucose not building.
 2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
516f436614 glucose: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Will Dietz
a034d90e3b z3: 4.8.1 -> 4.8.3 
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
 2018-11-27 22:00:19 -06:00
Gabriel Ebner
4e1323a0cf vampire: fix nondeterministic hash 
Probably related to #8567
 2018-11-22 14:15:55 +01:00
Gabriel Ebner
f505340252 iprover: 2.5 -> 2018_Jul_24_11h 2018-11-21 12:15:48 +01:00
R. RyanTM
5648699f6c ltl2ba: 1.2b1 -> 1.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ltl2ba/versions
 2018-11-19 02:28:38 -08:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc 
solc: 0.4.25 -> 0.5.0
 2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64 
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
 2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00
Gabriel Ebner
b1c149d47a tptp: use urls instead of url 
nix-prefetch-url breaks if the url argument to fetchurl is a list.
 2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6 tptp: 7.1.0 -> 7.2.0 2018-11-15 15:50:48 +01:00
Gabriel Ebner
155595b0c7 eprover: 2.1 -> 2.2 2018-11-07 22:33:25 +01:00
Jörg Thalheim
b3ed2b4c18
Merge pull request #49728 from vbgl/acgtk-1.5.0 
acgtk: 1.3.1 -> 1.5.0
 2018-11-04 17:09:34 +00:00
Théo Zimmermann
dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Vincent Laporte
08ac103970
acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00