Commit Graph

727 Commits

Author SHA1 Message Date
Will Dietz
e397f4716c z3: 4.8.4 -> 4.8.5
* drop included patch
* pname-ify
2019-06-10 17:55:26 -07:00
R. RyanTM
6f2d2818b0 cryptoverif: 2.00 -> 2.01
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
2019-06-01 10:51:25 -05:00
Alyssa Ross
062210bdff treewide: update cargoSha256 hashes for cargo-vendor upgrade
A recent upgrade of cargo-vendor changed its output slightly, which
broke all cargoSha256 hashes in nixpkgs.
See https://github.com/NixOS/nixpkgs/issues/60668 for more information.

Since then, a few hashes have been fixed in master by hand, but there
were a lot still to do, so I did all of the ones left over with some
scripts I wrote.

The one hash I wasn’t able to update was habitat's, because it’s
currently broken and the build doesn’t get far enough to produce a
hash anyway.
2019-06-01 15:17:52 +00:00
Vincent Laporte
57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Cyril Cohen
d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Vincent Laporte
b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte
1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Sebastien Bourdeauducq
992150d37b symbiyosys: fix path to bash 2019-05-12 20:00:10 +02:00
Michael Raskin
7252364dfa tptp: switch to new base URL for source tarball 2019-05-09 22:57:59 +02:00
Michael Raskin
a8c4b37063 vampire: switch off the fragile fetchSubmodules/leaveDotGit 2019-05-09 22:57:59 +02:00
Mario Rodas
e47dd1bb34
cedille: fix hash 2019-05-05 20:47:29 -05:00
R. RyanTM
62cd9ccca4 eprover: 2.2 -> 2.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eprover/versions
2019-04-30 10:05:27 -07:00
Mario Rodas
7a965dcdab cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls
HTTPS urls
2019-04-22 23:37:07 +02:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Michael Raskin
3d3a415f24 petrinizer: init at 0.9.1.1 2019-04-16 15:11:03 +02:00
Austin Seipp
a5add1e623
symbiyosys: 2018.12.09 -> 2019.03.28
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-15 00:17:54 -05:00
Vincent Laporte
50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
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