Gabriel Ebner
f6f5f6a30f
elan: 0.8.0 -> 0.9.0
2020-05-07 15:35:13 +02:00
Yurii Rashkovskii
c73875ea1e
tlaplus: 1.5.6 -> 1.7.0
2020-05-06 12:26:10 -07:00
R. RyanTM
0a115f8087
cryptominisat: 5.6.8 -> 5.7.0
2020-05-04 01:41:26 -07:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0
2020-05-02 04:20:00 -05:00
Pavol Rusnak
461a252bee
verifast: change license to MIT
...
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a
As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
Benjamin Hipple
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
...
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin
ad7b7367b6
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 21:54:06 -04:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0
2020-04-18 04:20:00 -05:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
Jonathan Ringer
3238302827
libpoly: fix src
2020-04-09 11:22:53 -07:00
R. RyanTM
f4a9fe36fa
libpoly: 0.1.7 -> 0.1.8
2020-04-09 10:29:28 -07:00
Vincent Laporte
f4ff33cce6
alt-ergo: 2.3.1 → 2.3.2
2020-04-08 10:23:48 +02:00
Vincent Laporte
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
2020-04-05 15:32:32 +02:00
Narazaki, Shuji
c5a12e33d2
cadical: init at 1.2.1
2020-04-05 00:22:36 +09:00
Austin Seipp
765b2fd866
mcy: 2020.03.16 -> 2020.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte
618bca7054
alt-ergo: 2.3.0 → 2.3.1
2020-03-24 20:43:06 -04:00
Mario Rodas
b2df6d541d
lean: 3.7.0 -> 3.7.2
2020-03-22 04:20:00 -05:00
Vincent Laporte
8dddd8a07f
ocamlPackages.camlp5: 7.10 → 7.11
2020-03-19 18:04:14 -07:00
Austin Seipp
2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
...
Now with working web UI dashboard -- but no working GUI (yet!)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
...
- Bump `abc-verifier` (2020.03.05)
- Install `yosys-abc` symlink for tool compatbility
- Various `yosys` expression cleanups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Mario Rodas
c935567de6
lean: 3.6.1 -> 3.7.0
2020-03-14 01:32:58 +00:00
Michael Raskin
bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
...
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho
202c2a8eff
clingcon: init at 3.3.0
2020-03-08 19:21:55 +01:00
Maximilian Bosch
84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
...
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Vincent Laporte
dcfccdfc33
acgtk: 1.5.0 → 1.5.1 ( #81539 )
...
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
Gabriel Ebner
8428f5bb4a
elan: v0.8.0 tag was force-pushed by upstream
2020-03-06 15:35:37 +01:00
Gabriel Ebner
70e5428d66
elan: 0.7.5 -> 0.8.0
2020-03-06 14:28:36 +01:00
Joachim Breitner
2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 ( #75766 )
...
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)
js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Mario Rodas
1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
...
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer
bc56175034
satallax: Fix build with GCC9
2020-03-05 05:16:49 +01:00
R. RyanTM
86e6080daf
workcraft: 3.2.5 -> 3.2.6
2020-03-04 13:41:09 +00:00
Gabriel Ebner
0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
...
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM
5b833c08ef
lean: 3.6.0 -> 3.6.1
2020-03-04 06:26:01 +00:00
Aiken Cairncross
3db82f6fc3
python3Packages.monosat: Fix hash
...
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
Aiken Cairncross
2148a154c6
python3Packages.monosat: Fix Python 3.8 build
2020-03-03 07:40:57 +01:00
Austin Seipp
7e66ce29bf
mcy: init at 2020.02.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp
3d8efecda1
symbiyosys: fix calls to external programs
...
48085826f
broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.
But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.
This also does some other minor clean up.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas
79f057e2eb
lean: 3.5.1 -> 3.6.0
2020-02-26 18:00:00 -05:00
Benjamin Hipple
ed85c9981a
elan: upgrade cargo fetcher and cargoSha256
...
Infra upgrade as part of #79975 ; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Junyoung Clare Jang
b71c03e483
lean: 3.4.2 -> 3.5.1
...
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
Benjamin Hipple
eb11feaa0b
treewide: change fetchCargoTarball default to opt-out
...
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.
This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.
See #79975 for details.
2020-02-13 22:41:37 -08:00
R. RyanTM
1d4fd7f5f2
verifast: 18.02 -> 19.12
2020-02-09 14:29:31 -06:00
Ryan Mulligan
c9cf351871
Merge pull request #79479 from r-ryantm/auto-update/workcraft
...
workcraft: 3.1.9 -> 3.2.5
2020-02-09 06:37:47 -08:00
Jannik Vierling
6ea5cd21ab
iprover: 2018_Jul_24_11h -> 3.1
2020-02-09 09:38:57 +01:00
Emily
a14a32fd75
symbiyosys: 2019.10.11 -> 2020.02.08
2020-02-08 23:00:07 -06:00
R. RyanTM
5bf0de57ad
workcraft: 3.1.9 -> 3.2.5
2020-02-07 21:09:41 +00:00
Florian Klink
570afbcb5b
abc-verifier: passthru rev
...
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
2020-02-01 12:49:45 +01:00
Florian Klink
351f47da57
abc-verifier: 2018-07-08 -> 2020-01-11
2020-02-01 12:49:45 +01:00
Vincent Laporte
13dd5844fd
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
2020-01-31 14:09:51 +01:00
Vincent Laporte
659a7ae963
coq: disable CoqIDE on Darwin for Coq ≥ 8.10
2020-01-31 14:09:51 +01:00
Luka Blaskovic
fd614a8e8f
saw-tools: use default llvm
2020-01-30 18:35:30 -05:00
Mario Rodas
a20b7cff7c
Merge pull request #78521 from r-ryantm/auto-update/ott
...
ott: 0.29 -> 0.30
2020-01-29 21:47:20 -05:00
R. RyanTM
f1085d02bb
ott: 0.29 -> 0.30
2020-01-26 09:43:23 +00:00
DwarfMaster
227a3f4383
Renamed maintainer lucas8 -> dwarfmaster
2020-01-21 16:39:52 +10:00
Robin Gloster
ab0cfd9e03
treewide: NIX_*_COMPILE -> string
2019-12-31 00:10:18 +01:00
Frederik Rietdijk
6d059becd3
Merge gcc-9 into staging ( #68029 )
2019-12-30 16:38:38 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists
2019-12-30 12:58:11 +01:00
Franz Pletz
1a871b4382
minisat: 2.2.0 -> 2.2.1
2019-12-30 03:50:35 +01:00
Maximilian Bosch
9842c4b107
treewide: update which packages I'm currently maintaining
...
Idea shamelessly stolen from 4e60b0efae
.
I realized that I don't really know anymore where I'm listed as maintainer and what
I'm actually (co)-maintaining which means that I can't proactively take
care of packages I officially maintain.
As I don't have the time, energy and motivation to take care of stuff I
was interested in 1 or 2 years ago (or packaged for someone else in the
past), I decided that I make this explicit by removing myself from several
packages and adding myself in some other stuff I'm now interested in.
I've seen it several times now that people remove themselves from a
package without removing the package if it's unmaintained after that
which is why I figured that it's fine in my case as the affected pkgs
are rather low-prio and were pretty easy to maintain.
2019-12-26 15:27:47 +01:00
Franz Pletz
77b6c3cd06
Merge remote-tracking branch 'origin/master' into gcc-9
2019-12-26 14:17:36 +01:00
Alyssa Ross
7887a81193
treewide: fix cargoSha256 (again)
...
cargo-vendor output was changed in a4fc84de44
.
2019-12-20 20:08:53 +00:00
Austin Seipp
367676ce82
z3: 4.8.5 -> 4.8.7
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-12-14 20:33:59 -06:00
Vincent Laporte
856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1
...
coq_8_11: init at 8.11+β1
2019-12-14 19:13:40 +01:00
Robert Scott
c676063047
btor2tools: correct meta information
2019-12-12 10:37:02 -06:00
Robert Scott
b9185a96be
boolector: add patch for CVE-2019-7560
2019-12-12 10:37:02 -06:00
Robert Scott
2611887c2e
lingeling: enable for darwin
2019-12-08 18:32:04 +00:00
Robert Scott
dc6233b972
aiger: enable for darwin
2019-12-08 18:31:49 +00:00
Vincent Laporte
2942490c2c
coq_8_11: init at 8.11+β1
2019-12-07 07:58:00 +00:00
Matt Huszagh
9c7cd63b3d
symbiyosys: add yices dependency
...
Symbioyosys requires at least smt solver backend
to work out of the box.
2019-12-04 14:29:31 -06:00
Vincent Laporte
3806eff9ca
coq_8_10: 8.10.1 → 8.10.2
2019-12-03 13:51:52 +00:00
Jonathan Ringer
0c1c18ca44
Merge branch 'master' into staging-next
2019-11-27 22:57:50 -08:00
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:
e675498026
1e9cc5b984
793a2fe1e8
c19cf65261
f6544d618f
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