BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
205524 commits 1 branch 0 tags 3.8 GiB
Commit graph

793 commits

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