Commit graph

1039 commits

Author SHA1 Message Date
R. RyanTM a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM 39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00
Vincent Laporte d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
zowoq c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok 5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch 44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Vincent Laporte a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Narazaki, Shuji d6c90aea17 cadical: 1.2.1 -> 1.3.0 2020-06-15 22:56:41 +09:00
Steve Purcell af76ba6c57 fastdownward: 2019-05-13 -> 19.12
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
2020-06-15 10:40:53 +12:00
R. RyanTM e63bfcef96 lean: 3.15.0 -> 3.16.2 2020-06-14 19:32:20 +00:00
Steve Purcell 1058f8f8cf fast-downward: also build on darwin 2020-06-14 17:55:14 +12:00
Austin Seipp 23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp 13e52db31e
yosys: 2020.03.24 -> 2020.06.11
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Symphorien Gibol 0a488516be boolector: 3.0.0 -> 3.2.1
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Symphorien Gibol 90b75531a5 btor2tools: pre55 -> 1.0.0-pre
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
R. RyanTM 25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00:00
Sohalt 877af72161
Fixup
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02:00
Daiderd Jordan b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
R. RyanTM 8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM 5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
zowoq cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
R. RyanTM 7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
Vincent Laporte 48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
R. RyanTM 748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Mario Rodas b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
sohalt 7bf616dd77 Correct license 2020-05-10 00:49:56 +02:00
sohalt 9ec71eb051 use https 2020-05-10 00:46:00 +02:00
Gabriel Ebner 115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
sohalt de81e8b961 isabelle: 2018 -> 2020 2020-05-08 00:33:03 +02:00
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:
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