Commit graph

794 commits

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