jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
198,845 Commits 266 Branches 122 Tags 5.3 GiB
a8892b0d76
Commit Graph

774 Commits

Author SHA1 Message Date
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 d0888d150333a2c523cd1e46606d6219afe23dc2.
 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