John Ericson
d60532bc71
coq: Fix setup hook
2019-11-25 14:20:10 +00:00
Frederik Rietdijk
5f8b0d7d99
Merge staging-next into staging
2019-11-19 14:53:29 +01:00
adisbladis
c9d8624ccd
treewide: Get rid of libGLU_combined
2019-11-18 20:10:43 +00:00
c0bw3b
9367367dfd
Treewide: fix URL permanent redirects
...
Permanent redirects on homepages and/or source URLs
as reported by Repology
2019-11-16 01:41:23 +01:00
Vincent Laporte
a61354f262
why3: 1.2.0 → 1.2.1
2019-11-11 11:30:52 +00:00
Matthew Bauer
5ebd36403e
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi
...
Rename z77z into maggesi
2019-11-07 17:18:20 -05:00
Franz Pletz
18ab125e83
minisatUnstable: fix build with gcc9
2019-11-05 02:01:18 +01:00
Franz Pletz
6c3f824540
minisat: fix build with gcc9
2019-11-04 23:07:58 +01:00
R. RyanTM
7f919914bf
eprover: 2.3 -> 2.4
2019-11-01 14:00:31 -07:00
Vincent Laporte
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1
2019-10-25 07:58:47 +00:00
Vincent Laporte
d56582eb2b
coq_8_10: enable CoqIDE
2019-10-25 07:58:02 +00:00
R. RyanTM
c300055e11
ott: 0.28 -> 0.29
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ott/versions
2019-10-23 11:44:13 -07:00
Emily
fecfbe18bd
symbiyosys: 2019.08.13 -> 2019.10.11
2019-10-19 12:26:49 -05:00
Vincent Laporte
b4db381443
coq_8_10: 8.10+β3 → 8.10.0
...
coqPackages.coq-elpi: master → 1.1.0
2019-10-16 02:43:46 +00:00
Vincent Laporte
0cc70b5697
coq: do not build CoqIDE for Coq 8.10
...
GTK3 at version 3.24.11 has broken pkg-config files
2019-10-16 02:43:46 +00:00
Vincent Laporte
1292f49a37
coq_8_10: do not take “camlp5” as input
2019-10-16 02:43:46 +00:00
Vincent Laporte
325f89ef19
coq_8_10: fix CoqIDE on darwin
2019-10-16 02:43:46 +00:00
Aiken Cairncross
15dbd8de7c
monosat: 60528a3 -> 1.8.0
...
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
2019-10-15 16:52:25 -04:00
Aiken Cairncross
b4da391ade
monosat: Add self as maintainer
2019-10-15 12:20:55 +01:00
Marco Maggesi
24d0bd37b5
Merge branch 'master' into rename-z77z-into-maggesi
2019-10-13 18:06:23 +02:00
Marco Maggesi
bf56c15695
hol_light: 2019-03-27 -> 2019-10-06
2019-10-09 06:13:48 +00:00
Linus Heckemann
5aa4b19946
treewide: mark some broken packages as broken
...
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
2019-10-08 17:14:26 +02:00
Marco Maggesi
ff1ed720e2
Rename z77z into maggesi
...
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
2019-10-07 17:05:25 +02:00
Michael Raskin
2213e53fcf
Merge pull request #69477 from r-ryantm/auto-update/clingo
...
clingo: 5.3.0 -> 5.4.0
2019-09-27 10:12:24 +00:00
Joachim F
ad773d31e2
Merge pull request #69345 from joachifm/feat/split-version
...
Replace uses of splitString for splitting version strings
2019-09-27 06:19:18 +00:00
Joachim Fasting
bad07dfac5
tree-wide: replace uses of splitString "." with lib.versions
...
Quoting from the splitString docstring:
NOTE: this function is not performant and should never be used.
This replaces trivial uses of splitString for splitting version
strings with the (potentially builtin) splitVersion.
2019-09-26 17:42:49 +02:00
Jörg Thalheim
9a1b767a55
treewide: remove empty buildInputs
2019-09-26 09:17:23 +01:00
R. RyanTM
f54eb7f159
clingo: 5.3.0 -> 5.4.0
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/clingo/versions
2019-09-26 01:07:35 -07:00
Kierán Meinhardt
815d940e52
tamarin-prover: mark as broken because upstream is broken
2019-09-24 15:25:43 +02:00
Matthew Bauer
4c85abae94
treewide: use libtinfo.so.5 where needed
...
This was originally added in
https://github.com/NixOS/nixpkgs/pull/21350
best to use this name for clarity.
2019-09-18 13:57:20 -04:00
Vincent Laporte
8288301636
coq_8_10: 8.10+β2 → 8.10+β3
2019-09-16 11:41:43 -05:00
Michael Raskin
4149a662a7
petrinizer: fix build by pinning the neccessary library versions
2019-09-07 13:33:50 +03:00
Vladimír Čunát
f21211ebfe
Merge branch 'master' into staging
2019-09-02 23:25:24 +02:00
Emily
d1dfaa79e3
symbiyosys: fix path to bash (again)
...
/usr/bin/env works on NixOS normally, but previously sby would fail if
used from inside the Nix sandbox.
2019-09-01 14:22:49 -05:00
volth
7bb6b373ab
treewide: name -> pname ( #67513 )
2019-08-31 07:41:22 -04:00
volth
08f68313a4
treewide: remove redundant rec
2019-08-28 11:07:32 +00:00
Frederik Rietdijk
5061fe0c2c
Merge staging-next into staging
2019-08-28 08:26:42 +02:00
Frederik Rietdijk
98640fd482
Merge master into staging-next
2019-08-27 16:36:47 +02:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
Jonathan Ringer
6f279584fd
stp: 2.2.0 -> 2.3.3
2019-08-26 14:00:48 -07:00
Gabriel Ebner
440c63a38a
vampire: 4.2.2 -> 4.4
2019-08-25 14:43:51 +02:00
Vladimír Čunát
2e6bf42a22
Merge branch 'master' into staging-next
...
There ver very many conflicts, basically all due to
name -> pname+version. Fortunately, almost everything was auto-resolved
by kdiff3, and for now I just fixed up a couple evaluation problems,
as verified by the tarball job. There might be some fallback to these
conflicts, but I believe it should be minimal.
Hydra nixpkgs: ?compare=1538299
2019-08-24 08:55:37 +02:00
Emily
05c54717f8
symbiyosys: extend platforms
2019-08-23 02:14:40 -05:00
Frederik Rietdijk
f65aa21bb2
Merge master into staging-next
2019-08-18 12:53:44 +02:00
Vladimír Čunát
8ed485c67b
Merge #65948 : tlaplusToolbox: 1.5.7 -> 1.6.0
2019-08-18 10:11:50 +02:00
volth
c814d72b51
treewide: name -> pname
2019-08-17 10:54:38 +00:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
Emily
a51e3987ad
symbiyosys: 2019.04.18 -> 2019.08.13
2019-08-14 00:14:22 -07:00
Badi Abdul-Wahid
40b53a5d0d
tla+ toolbox: 1.5.7 -> 1.6.0
...
Bumps to new release of TLA+ Toolbox.
Main change:
- toolbox now includes JRE so those external dependencies are no
longer needed.
Testing:
- nix-build -A tlaplusToolbox
- ./result/bin/tla-toolbox
- pdf generation
- validation of a simple pluscal model
2019-08-04 09:27:13 -05:00
Jake Waksbaum
3ab32ee8f6
framac: 18 -> 19 and update why3
2019-08-03 14:03:22 +00:00
Orivej Desh
32fbbc6f9b
Merge master into staging
2019-07-25 09:23:21 +00:00
R. RyanTM
a47962010d
cryptoverif: 2.01 -> 2.01pl1
...
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-07-23 19:32:45 -05:00
worldofpeace
b1bc0645ea
gdk-pixbuf: rename from gdk_pixbuf
2019-07-22 18:50:57 -04:00
Théo Zimmermann
3bc04b576a
coq: 8.10+beta1 -> 8.10+beta2
2019-07-14 14:58:49 +00:00
Ryan Mulligan
508ae42a0f
treewide: fix redirect URLs
2019-07-10 12:52:51 -07:00
Nikolay Amiantov
3dd7d72e43
fast-downward: init at 2019-05-13
2019-06-24 15:59:57 +03:00
Vincent Laporte
1f2a3a2df2
gappa: 1.2 -> 1.3.5
2019-06-19 09:24:34 +00:00
volth
f3282c8d1e
treewide: remove unused variables ( #63177 )
...
* treewide: remove unused variables
* making ofborg happy
2019-06-16 19:59:05 +00:00
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
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
Kevin Quick
411c665f33
yices: 2.6.0 -> 2.6.1
2018-11-02 15:49:09 -07:00
Will Dietz
c417342cd2
Merge pull request #48579 from dtzWill/update/z3-4.8.1
...
z3: 4.7.1 -> 4.8.1
2018-11-02 04:02:24 -05:00
Jörg Thalheim
8df0ca2bbc
coq_8_4: remove
...
verasco was its only user
2018-10-30 13:31:11 +00:00
Joachim F
b6a5cd8970
Merge pull request #48812 from mpickering/cedille
...
cedille bug fixes
2018-10-24 15:29:47 +00:00
Matthew Pickering
08e5ef20d8
cedille: Make a seperate output for the base library
...
For now, for normal usage you need to add `${cedille.lib}` to
the `~/.cedille/options` file so that cedille will find the base
libraries. There is no option to pass options by the command line.
2018-10-22 08:43:07 +00:00
Matthew Pickering
f7d4bc2c71
cedille: Apply patch which unbreaks the options file
...
See https://github.com/cedille/cedille/issues/29
2018-10-22 08:42:01 +00:00
Vincent Laporte
c091e93b99
Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-package
...
coq: add ocamlPackages in passthru
2018-10-19 09:38:07 +00:00
Vincent Laporte
bc8d25c1ef
why3: 1.0.0 -> 1.1.0
2018-10-18 05:43:36 +00:00
Théo Zimmermann
fa12476755
coq: add ocamlPackages in passthru
...
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
2018-10-17 13:26:43 +02:00
Will Dietz
51e511130a
z3: 4.7.1 -> 4.8.1
2018-10-16 12:28:06 -05:00
Matthew Pickering
43ae33728b
cedille: init at 1.0.0
2018-10-14 19:17:23 +00:00
Moritz Kiefer
6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4
2018-10-13 17:45:45 +00:00
Vincent Laporte
6113d95235
prooftree: cleaning
2018-10-11 05:59:21 +00:00
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict)
2018-10-10 19:44:54 +02:00
Théo Zimmermann
7ac0a23194
prooftree: 0.12 -> 0.13
2018-10-10 19:42:50 +02:00
Théo Zimmermann
c76ffb9253
matita: remove broken package
...
As requested by Vincent Laporte.
2018-10-09 09:47:31 +02:00
Théo Zimmermann
34394a38ef
ocamlPackages_3_11_2: remove
...
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.
Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.
Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
2018-10-08 21:10:05 +02:00
Marco Maggesi
9a5f7b1630
hol_light: 2017-07-06 -> 2018-09-30
...
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
2018-10-06 15:49:09 +00:00
Gabriel Ebner
0a7e258012
elan: 0.5.0 -> 0.7.1
2018-10-04 16:33:36 +02:00
Austin Seipp
919a3b7f9c
symbiyosys: 2018.07.26 -> 2018.09.12
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-10-01 22:32:54 -05:00
Will Dietz
eb91037e7b
tree-wide: patchelf used during build -> nativeBuildInputs
...
In a few cases it wasn't clear so I left them as-is.
While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:
* makeWrapper
* archive utilities (in order to unpack src)
* a few of these might no longer be needed but leaving for another day
2018-09-28 11:43:16 -05:00
Vincent Laporte
23900febe7
coq: 8.8.1 -> 8.8.2 ( #47388 )
2018-09-26 22:26:39 +02:00
Frederik Rietdijk
de419917a3
Merge master into staging-next
2018-09-18 18:44:48 +02:00
Maximilian Bosch
2cfc0bb7ee
tamarin-prover: fix ghc 8.4 build ( #46597 )
...
See https://hydra.nixos.org/build/81125645
`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:
a08f6e4007
The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.
Addresses #45960
2018-09-13 14:11:09 +02:00
Uli Baum
1df2560dde
Merge branch 'master' into staging-next
2018-09-13 10:08:53 +02:00
Markus Kowalewski
258c202565
prooftree: add license
2018-09-08 14:44:43 +02:00
Frederik Rietdijk
b910b697f6
Merge master into staging
2018-09-02 12:10:33 +02:00
Markus Kowalewski
e5974ddaec
jonprl: update homepage
2018-09-02 00:36:01 +02:00
Vladimír Čunát
2d6179d1e8
Merge branch 'master' into staging
...
A few trivial conflicts due to *Platforms mass replace.
2018-09-01 17:38:18 +02:00
Gabriel Ebner
da3326902a
vampire: fix nondeterministic hash
...
Probably related to #8567
2018-09-01 15:03:31 +02:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system
and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Vladimír Čunát
8fc6472ace
gnome-documents, tlaplus: fix glib references
2018-08-30 19:47:41 +02:00
Matthew Bauer
f7bc33abf0
Revert "treewide: fixup breakage due to absolute compiler path"
...
This reverts commit d0888d1503
.
2018-08-22 01:14:53 +02:00
Vladimír Čunát
d0888d1503
treewide: fixup breakage due to absolute compiler path
...
Some packages just can't handle them #44767 . It was tempting to try
to abstract this in some way, but I didn't do that ATM.
2018-08-21 12:34:33 +02:00
Vladimír Čunát
cbabebcc2e
Merge branch 'master' into staging-next
...
Hydra: ?compare=1473892
2018-08-17 13:45:21 +02:00
Austin Seipp
d5e496a2bb
boolector: 2.4.1 -> 3.0.0, relicensed to MIT
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp
9b64100add
btor2tools: init at pre55_8c150b39
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp
68cc845295
lingeling: init at pre1_03b4860d
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Austin Seipp
6e910b2b3d
aiger: clean up configurePhase, install multi-output objects/headers
...
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-15 20:44:05 -05:00
Vladimír Čunát
00df25ee57
Merge branch 'master' into staging-next
...
Hydra: ?compare=1472947
2018-08-12 10:33:41 +02:00
Silvan Mosberger
68d3350433
Merge pull request #44837 from Infinisil/fix/sad
...
sad: fix build
2018-08-09 22:36:14 +02:00
Silvan Mosberger
e710f80018
sad: fix build
2018-08-09 22:13:44 +02:00
Frederik Rietdijk
d9fa74ba78
Merge master into staging
2018-08-09 18:28:15 +02:00
Austin Seipp
752284680b
symbiyosys: 2018.05.03 -> 2018.07.26
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08 19:49:42 -05:00
John Ericson
db965063b3
treewide: Make configureFlags lists
2018-08-03 17:06:03 -04:00
Frederik Rietdijk
f3088832df
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox
...
tlaplusToolbox: 1.5.6 -> 1.5.7
2018-07-22 08:44:58 +02:00
Ricardo M. Correia
0cf09556eb
why3: 0.88.3 -> 1.0.0
2018-07-21 22:53:44 +00:00
R. RyanTM
9882d5635c
tlaplusToolbox: 1.5.6 -> 1.5.7
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions .
2018-07-21 08:39:53 -07:00
Jörg Thalheim
218298b30f
Merge branch 'master' into unused5
2018-07-21 15:41:22 +01:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
volth
6d2857a311
[bot] treewide: remove unused 'inherit' in let blocks
2018-07-20 19:38:19 +00:00
Gabriel Ebner
862e4e4fdb
cvc4: fix homepage url
2018-07-16 15:58:22 +01:00
Mario Rodas
1c88d0c6bd
z3: fix darwin build ( #43526 )
2018-07-14 21:49:47 +02:00
Will Dietz
efdf4711d8
Merge pull request #43445 from dtzWill/fix/yices-symlink
...
yices: fix symlink created to match version
2018-07-13 10:11:49 -05:00
Will Dietz
f731c99e7d
abc-verifier: 20160818 -> 2018-07-08
...
Now hosted on github.
2018-07-12 21:44:56 -05:00
Will Dietz
946a65ca5c
yices: use lib.splitString, not everyone has builtins.splitVersion
2018-07-12 19:11:06 -05:00
Will Dietz
237c8f4148
yices: simplify ln command
2018-07-12 18:52:10 -05:00
Will Dietz
6ff8685057
yices: fix symlink to match version of package
...
To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
2018-07-12 18:46:28 -05:00
Will Dietz
d3a595f190
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
2018-07-12 17:06:57 -05:00
Austin Seipp
54e9f7dcbe
z3: move to multiple output packages
...
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.
(The include/ directory is also surprisingly large at .5MB...)
This also splits the python API into a completely separate .python attribute,
as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-12 15:48:48 -05:00
Frederik Rietdijk
04cae0e5fb
Merge pull request #43333 from r-ryantm/auto-update/libpoly
...
libpoly: 0.1.4 -> 0.1.5
2018-07-11 19:01:02 +02:00
R. RyanTM
40e648b7ab
yices: 2.5.4 -> 2.6.0
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions .
2018-07-11 08:45:45 -05:00
R. RyanTM
a89b538f0b
libpoly: 0.1.4 -> 0.1.5
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/libpoly/versions .
2018-07-11 02:29:13 -07:00
Dan Peebles
1dd7bc7dfc
monosat: update build to use handy new environment variable
2018-07-08 22:04:05 -04:00
Dan Peebles
0372c87481
monosat: cbaf79cf -> 2deeadef
...
Upstream fixed a few things I needed to work around
2018-07-08 21:57:00 -04:00
Dan Peebles
631dd7a4e9
monosat: init at 1nx3wh34
...
Also includes the python and java bindings (although java is only
currently enabled on Linux)
2018-07-08 12:43:29 -04:00
Will Dietz
67986382e4
Merge pull request #43071 from dtzWill/fix/vampire-portability
...
vampire: portability fixes
2018-07-05 11:13:42 -05:00
Gabriel Ebner
bec83a2b9e
cvc4: 1.5 -> 1.6
2018-07-05 17:57:06 +02:00
Will Dietz
7353d8396d
vampire: enable parallel building
2018-07-05 10:13:40 -05:00
Will Dietz
600abbedc9
vampire: portability fixes
...
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).
Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
2018-07-05 10:13:32 -05:00
Will Dietz
8e6db30bb7
vampire: use CC/CXX from env, instead of always g++
2018-07-05 10:11:32 -05:00
Gabriel Ebner
7c63a9cac2
eprover: 2.0 -> 2.1
2018-07-05 12:26:43 +02:00
Gabriel Ebner
57ae4e8d8e
vampire: init at 4.2.2
2018-07-05 09:34:28 +02:00
R. RyanTM
a431e4f207
clingo: 5.2.2 -> 5.3.0
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/clingo/versions .
Version release notes (from GitHub):
# Packages
- The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].
# Changes
* change C API to use numeric instead of symbolic literals
* affects assumptions and assigning/releasing externals (breaks backward compatibility)
* added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
* the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
* add API function to detect conflicting programs
* add message logger to python and lua interface
* add support for primes in the beginning of identifiers and variable names
* add per solver registration of watches during propagator initialization
* add a directive to selectivel suppress undefined atom warnings
* add support for user defined statistics
* add _to_c functions for python API to be able to call C functions from python
* only create ground representations for requested program parts when grounding (#71 )
* improve program observer (#19 )
* support for binary, octal, and hexadecimal numbers (#65 )
* the backend has to be opened/closed now
* release python's GIL while grounding (#82 )
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation
[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html
These checks were done:
- built on NixOS
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
- 5 of 5 passed binary check by having a zero exit code.
- 0 of 5 passed binary check by having the new version present in output.
- found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
- directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
- du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
2018-07-04 11:23:33 -07:00
Théo Zimmermann
314eb884ec
coq_8_8: 8.8.0 -> 8.8.1
2018-06-29 11:10:31 +02:00
Silvan Mosberger
57bccb3cb8
treewide: http -> https sources ( #42676 )
...
* treewide: http -> https sources
This updates the source urls of all top-level packages from http to
https where possible.
* buildtorrent: fix url and tab -> spaces
2018-06-28 20:43:35 +02:00
Ryan Mulligan
fce8f26af6
treewide: http -> https ( #42665 )
2018-06-27 22:12:57 +02:00
Ryan Mulligan
0d5eb901ad
treewide: http -> https
2018-06-23 04:34:55 -07:00
R. RyanTM
517d5ff6e1
cryptoverif: 1.28 -> 2.00
...
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 .
These checks were done:
- built on NixOS
- /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00/bin/cryptoverif passed the binary check.
- 1 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.00 with grep in /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00
- directory tree listing: https://gist.github.com/b4cdf4e1befb51addd9b1dc1c39d78d9
- du listing: https://gist.github.com/18190fb11f51471790dcc668635aba6a
2018-06-06 14:40:27 -05:00
Will Dietz
edbebe7214
z3: 4.6.0 -> 4.7.1
2018-05-30 16:54:21 -05:00
Ben Darwin
de897bacea
celf: init at 2013-07-25 ( #41141 )
2018-05-28 21:27:53 +02:00
Vincent Laporte
ae23bb2bcc
proverif: 1.97pl1 -> 2.00
2018-05-22 06:58:10 +00:00
Gabriel Ebner
0db951db83
elan: 0.3.2 -> 0.5.0
2018-05-14 09:40:13 +02:00
Austin Seipp
04002e2b71
tamarin-prover: 1.3.1 -> 1.4.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-07 11:17:49 -05:00
Jörg Thalheim
d1ad5bf95d
Merge pull request #40113 from wchresta/tamarin/fix
...
tamarin-prover: Fix compile issues
2018-05-07 13:49:50 +01:00
Wanja Chresta
ee95ed11ca
tamarin-prover: Fix compile issues
2018-05-07 12:18:06 +02:00
Gabriel Ebner
5347d89420
Merge pull request #40093 from r-ryantm/auto-update/lean
...
lean: 3.3.0 -> 3.4.1
2018-05-07 11:31:23 +02:00
R. RyanTM
639376aff6
lean: 3.3.0 -> 3.4.1
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/lean/versions .
These checks were done:
- built on NixOS
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code
- found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
- directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
2018-05-07 02:24:49 -07:00
Austin Seipp
301f14e993
symbiyosys: 2018.03.21 -> 2018.05.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03 20:06:20 -05:00
Matthew Bauer
143978a477
treewide: remove platform assertions
...
linux: readd assertion
2018-05-03 13:09:20 -05:00
Jörg Thalheim
838db3b85d
Merge pull request #39529 from r-ryantm/auto-update/ott
...
ott: 0.27 -> 0.28
2018-04-26 09:14:36 +01:00
R. RyanTM
769093b867
ott: 0.27 -> 0.28
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ott/versions .
These checks were done:
- built on NixOS
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott --help’ got 0 exit code
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott.opt --help’ got 0 exit code
- found 0.28 with grep in /nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28
- directory tree listing: https://gist.github.com/177f63b8c23bae6301ced29fb0e617c4
2018-04-26 00:52:29 -07:00
Michiel Derhaeg
189a4f3656
verifast: 14.5 -> 18.02 ( #39480 )
2018-04-25 22:54:57 +01:00
Matthew Justin Bauer
0d8e415d6b
Merge pull request #38969 from vbgl/coq-findlib
...
coq: fix installation of OCaml libraries
2018-04-20 18:02:52 -05:00
Vincent Laporte
76a43d765c
coq: 8.8+beta1 -> 8.8.0
2018-04-18 14:37:04 +02:00
Jörg Thalheim
5dc7a70f65
Merge pull request #38589 from badi/tlatools
...
Add TLAPS and TLA+ Toolbox
2018-04-17 14:51:35 +01:00
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6
2018-04-16 22:18:47 -04:00
Badi Abdul-Wahid
d14a476054
tlaps: init at 1.4.3
2018-04-16 21:18:42 -04:00
Vincent Laporte
dc4a8435f0
symbiyosys: larger meta.platforms
2018-04-16 11:47:48 +00:00
Vincent Laporte
caec7dbb9f
coq: fix installation of OCaml libraries
2018-04-15 11:24:17 +00:00
Vincent Laporte
5f97adccdc
coq: move some attributes inside passthru
2018-04-15 11:24:17 +00:00
Gabriel Ebner
9df0c12cde
elan: 0.3.0 -> 0.3.2
2018-04-13 09:28:28 +02:00
Gabriel Ebner
99ee7fd311
elan: add leanchecker proxy
2018-04-11 19:08:22 +02:00
Gabriel Ebner
a378389ac2
elan: 0.1.0 -> 0.3.0
2018-04-11 18:05:15 +02:00
Gabriel Ebner
a14ae55c04
elan: init at 0.1.0
2018-04-10 18:38:45 +02:00
Matthew Justin Bauer
72a54f3b6d
Merge pull request #38260 from symphorien/tamarin-vim
...
tamarin-prover: install vim syntax highlighting files
2018-04-08 21:47:12 -05:00
Austin Seipp
86c5420a2e
nixpkgs: remove z3 4.5.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00
Jörg Thalheim
d307ab5ca3
Merge pull request #38416 from bcdarwin/beluga
...
beluga: init at 20180403
2018-04-06 00:34:47 +01:00
Ben Darwin
9f70551937
beluga: init at 20180403
2018-04-04 17:24:28 -04:00
Ben Darwin
d2c20d3a21
abella: 2.0.4 -> 2.0.5
2018-04-04 08:15:01 +02:00
Matthew Justin Bauer
2cd044b2fe
Merge pull request #37465 from timor/workcraft
...
workcraft: init at 3.1.9
2018-03-31 19:15:13 -05:00
Symphorien Gibol
d432cb7fdb
tamarin-prover: install vim syntax highlighting files
...
note that this was tested on 13e74a838d
because tamarin-prover does not build on master...
2018-03-31 23:55:03 +02:00
John Wiegley
bee172501d
Merge pull request #37591 from vbgl/coq-88beta1
...
coq: init at 8.8+beta1
2018-03-23 22:09:06 -07:00
Daiderd Jordan
23d0c17130
picosat: fix darwin build
...
/cc ZHF #36454
2018-03-24 02:11:58 +01:00
Austin Seipp
011e70155b
symbiyosys: 2018.03.07 -> 2018.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-21 16:05:10 -05:00
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
timor
42368e23f5
workcraft: init at 3.1.9
2018-03-21 14:27:12 +01:00
Gabriel Ebner
fe7d82e6a6
Merge pull request #36933 from Ma27/fix-aspino
...
aspino: fix build
2018-03-17 13:06:23 +01:00
Maximilian Bosch
29bc0a00a1
aspino: fix build
...
Aspino patched `libglucose` for their own uses, however they currently
depend on glucose v4.0.
(see e31c3b4e57/patches
)
The patches don't apply properly on `glucose-4.1` anymore, furthermore
the new source directory caused the `bootstrap.sh` from `aspino` which
was supposed to apply the patches and recompile the setup to break.
Furthermore some minor changes to the derivation were introduced:
- upgraded from `2016-01-31` to `2017-03-09`
- the name contains an `-unstable-` infix as upstream has no releases
- instead of a `patchPhase` the `postPatch` hook will be used for
`substituteInPlace` to keep advanced patching features from `nixpkgs`
available.
- `patchShebangs` will be called to avoid impurities because of the
implicit reliance on `/bin/sh`
- added myself as second maintainer to have more people available in
case of any further breackage
See https://hydra.nixos.org/build/70688471/log
See ticket #36453
2018-03-17 13:02:51 +01:00
Ryan Mulligan
9e0ce6562a
ltl2ba: 1.1 -> 1.2b1
...
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
2018-03-14 21:06:53 -07:00
volth
7ec0471242
treewide: s/xlibs/xorg/g ( #36889 )
2018-03-13 10:16:03 +00:00
Vincent Laporte
903f4dd3d4
clingo: fix build on non-sandboxed darwin
2018-03-12 17:07:18 +00:00
Vincent Laporte
eedc173276
clingo: fix URL
2018-03-12 16:51:54 +00:00
Michael Raskin
fafeac185b
tptp: 7.0.0 -> 7.1.0
2018-03-12 16:58:21 +01:00
Austin Seipp
de1cb85b20
symbiyosys: 2018.02.04 -> 2018.03.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-08 21:23:20 -06:00
wchresta
c6d3f0d3c6
tamarin-prover: 1.3.0 -> 1.3.1
2018-03-08 21:03:18 +01:00
Vladimír Čunát
565bd805e6
Merge branch 'master'
2018-03-05 14:53:27 +01:00
Austin Seipp
7270f2139a
tlaplus: init at 1.5.6
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-02 21:20:54 -06:00
Ryan Mulligan
72a22296dd
cryptoverif: 1.22 -> 1.28
...
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
2018-02-26 08:32:20 +01:00
Alexander V. Nikolaev
0acec7e984
treewide: transition mesa to libGLU_combined
2018-02-24 17:06:49 +02:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021
...
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf
coq: 8.7.1 -> 8.7.2
2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments
2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab
Merge remote-tracking branch 'upstream/master' into HEAD
2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408
z3: also needs setuptools
2018-02-14 10:01:25 +00:00
Will Dietz
2974ed9266
avy: fixes to work with clang and musl
2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e
cvc4: build in parallel
2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a
cvc4: patch up fpu_control usage
2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea
picosat: fix ar and ranlib usage for cross
2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916
picosat: fixup include for unistd.h
2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de
boolector: patch usage of ar and ranlib for cross
...
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf
boolector: fix missing stdint.h include
2018-02-13 09:44:31 -06:00
Austin Seipp
0e371a60a5
symbiyosys: 2018.01.10 -> 2018.02.04
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:35 -06:00
Will Dietz
a5a64cfcb1
lean: fixup nativeBuildInputs vs buildInputs
2018-01-22 17:19:02 -06:00
Yegor Timoshenko
506c89c30a
maintainers: remove mornfall from packages
2018-01-17 05:17:33 +00:00
Vincent Laporte
aee1cebda7
why3: 0.88.1 -> 0.88.3
2018-01-14 05:51:06 +00:00
Austin Seipp
4d4340805b
symbiyosys: 2017.12.06 -> 2018.01.10
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Austin Seipp
ebeb95d18b
z3: 4.5.0-2017-11-06 -> 4.6.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging
...
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
2017-12-31 09:53:49 +01:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant
...
Make cross compilation elegant
2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d
treewide: Don't use envHook anymore
...
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb
tamarin-prover: enable tests
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3
nixpkgs: add sapic as a dependency to tamarin-prover
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589
nixpkgs: init sapic 0.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739
nixpkgs: add 'graphviz' to tamarin-prover dependencies
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 18:23:15 -06:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide
2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593
Specify the coq version in a more consistent location
2017-12-21 01:24:35 -08:00
Vincent Laporte
4c454a3208
coq: minor cleaning
2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b
drat-trim: fix build on darwin
2017-12-17 13:19:34 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
...
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829
drat-trim: init at 2017-08-31
...
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work. It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Vincent Laporte
12c5fe3e2d
ocamlPackages.cairo2: 0.4.6 -> 0.5
2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a
z3_4_5_0: New expression, to access the release version's API
2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
...
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
...
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27
2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging
2017-12-09 21:00:07 +01:00
Orivej Desh
9f8ec7e4d3
stp: disable parallel building
2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746
nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove
2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242
glucose-syrup: Remove unused fetchurl argument
2017-12-01 21:13:21 -08:00