Michael Raskin
877899fdb9
Merge pull request #43679 from timokau/ntl-11.2.1
...
ntl: 9.11.0 -> 11.2.1
2018-07-18 15:08:43 +00:00
Jan Tojnar
a4443ef859
nasc: 0.4.6 → 0.4.7
2018-07-18 15:38:52 +02:00
Timo Kaufmann
cad446513e
ntl: 9.11.0 -> 11.2.1
...
ntl hasn't been updated in a while. So I'm doing that and adding myself
as the maintainer. I'm also adding some options and pinning the sage
dependency, since it is unfortunately not compatible with the latest ntl
yet.
I've also enabled the tests, since they don't take terribly long and are
worth the time in my opinion.
2018-07-18 14:58:38 +02:00
Jan Malakhovski
e80ca2182c
clp: cleanup expression
2018-07-16 16:33:14 +00:00
Gabriel Ebner
862e4e4fdb
cvc4: fix homepage url
2018-07-16 15:58:22 +01:00
fragamus
794a60a2fb
bliss: fix header location ( #43170 )
2018-07-16 04:12:07 +00:00
Shea Levy
ed23255c5a
Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgs
2018-07-15 18:25:07 -04:00
Timo Kaufmann
c77d1e5b31
eclib: 20171219 -> 20180710
...
Also includes the necessary sage compatibility patch, borrowed from
ArchLinux.
2018-07-15 14:59:28 +02:00
Johannes Frankenau
d6874a7e1e
gurobi: init at 8.0.1
2018-07-14 23:52:48 +02:00
Mario Rodas
1c88d0c6bd
z3: fix darwin build ( #43526 )
2018-07-14 21:49:47 +02:00
markuskowa
7f1bcb1ebf
octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) ( #43484 )
2018-07-14 00:37:30 +02:00
Timo Kaufmann
85f7fa93bc
pythonPackages.cypari2: 1.1.4 -> 1.2.1 ( #43496 )
2018-07-14 00:17:55 +02:00
Frederik Rietdijk
d0446a5c76
Merge pull request #43436 from timokau/sage-new-flask
...
sage: replace flask-babel version pin by patch
2018-07-13 18:52:26 +02:00
Frederik Rietdijk
59163c9c1c
Merge pull request #43471 from r-ryantm/auto-update/igv
...
igv: 2.4.11 -> 2.4.13
2018-07-13 18:47:57 +02:00
Michael Raskin
9932071581
Merge pull request #43472 from r-ryantm/auto-update/golly
...
golly: 3.1 -> 3.2
2018-07-13 15:51:31 +00:00
Will Dietz
efdf4711d8
Merge pull request #43445 from dtzWill/fix/yices-symlink
...
yices: fix symlink created to match version
2018-07-13 10:11:49 -05:00
R. RyanTM
d25ec8df03
golly: 3.1 -> 3.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/golly/versions .
2018-07-13 03:02:59 -07:00
R. RyanTM
ab535c2757
igv: 2.4.11 -> 2.4.13
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/igv/versions .
2018-07-13 02:49:22 -07:00
Will Dietz
f731c99e7d
abc-verifier: 20160818 -> 2018-07-08
...
Now hosted on github.
2018-07-12 21:44:56 -05:00
Will Dietz
946a65ca5c
yices: use lib.splitString, not everyone has builtins.splitVersion
2018-07-12 19:11:06 -05:00
Will Dietz
237c8f4148
yices: simplify ln command
2018-07-12 18:52:10 -05:00
Will Dietz
6ff8685057
yices: fix symlink to match version of package
...
To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
2018-07-12 18:46:28 -05:00
Will Dietz
d3a595f190
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
2018-07-12 17:06:57 -05:00
Timo Kaufmann
35896e3506
sage: replace flask-babel version pin by patch
2018-07-12 22:55:16 +02:00
Austin Seipp
54e9f7dcbe
z3: move to multiple output packages
...
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.
(The include/ directory is also surprisingly large at .5MB...)
This also splits the python API into a completely separate .python attribute,
as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-12 15:48:48 -05:00
Timo Kaufmann
d37c23c699
jmol: 14.29.12 -> 14.29.17 ( #43429 )
2018-07-12 22:31:52 +02:00
Frederik Rietdijk
04cae0e5fb
Merge pull request #43333 from r-ryantm/auto-update/libpoly
...
libpoly: 0.1.4 -> 0.1.5
2018-07-11 19:01:02 +02:00
R. RyanTM
40e648b7ab
yices: 2.5.4 -> 2.6.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/yices/versions .
2018-07-11 08:45:45 -05:00
R. RyanTM
a89b538f0b
libpoly: 0.1.4 -> 0.1.5
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/libpoly/versions .
2018-07-11 02:29:13 -07:00
R. RyanTM
ade3e571a1
qalculate-gtk: 2.6.0 -> 2.6.1
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/qalculate-gtk/versions .
2018-07-11 00:45:08 -07:00
R. RyanTM
99cb9de551
fricas: 1.3.3 -> 1.3.4 ( #43023 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/fricas/versions .
These checks were done:
- built on NixOS
- /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/fricas passed the binary check.
- /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/efricas passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 1.3.4 with grep in /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4
- directory tree listing: https://gist.github.com/75d751d9733f6b0a7b582ab838a71963
- du listing: https://gist.github.com/4c6fe5f342430a2b36568da3229d3dc4
2018-07-09 16:02:58 +02:00
R. RyanTM
6ec4be7ec5
igv: 2.4.10 -> 2.4.11 ( #43003 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/igv/versions .
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11/bin/igv had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.4.11 with grep in /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11
- directory tree listing: https://gist.github.com/ca4cf484aab1c1590806c47c4fdde1d7
- du listing: https://gist.github.com/f7ff80a2429cf0a942195db4944659b1
2018-07-09 16:02:34 +02:00
Silvan Mosberger
8e2c3b93ba
Merge pull request #43096 from jbedo/mosdepth
...
mosdepth: init 0.2.3
2018-07-09 04:55:24 +02:00
Dan Peebles
1dd7bc7dfc
monosat: update build to use handy new environment variable
2018-07-08 22:04:05 -04:00
Dan Peebles
0372c87481
monosat: cbaf79cf -> 2deeadef
...
Upstream fixed a few things I needed to work around
2018-07-08 21:57:00 -04:00
Justin Bedo
59141de608
mosdepth: init 0.2.3
2018-07-09 08:51:49 +10:00
Dan Peebles
631dd7a4e9
monosat: init at 1nx3wh34
...
Also includes the python and java bindings (although java is only
currently enabled on Linux)
2018-07-08 12:43:29 -04:00
R. RyanTM
cb85999b6b
picard-tools: 2.18.7 -> 2.18.9 ( #42967 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/picard-tools/versions .
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9/bin/picard had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.18.9 with grep in /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9
- directory tree listing: https://gist.github.com/0972acdc51fe8a1cde470e4ab5e87993
- du listing: https://gist.github.com/6a66b6723ce4887cd108678369b87360
2018-07-06 20:24:57 +02:00
John Wiegley
56afc551f2
verilator: Allow building on Darwin as well as Linux
2018-07-05 15:17:17 -07:00
Matthew Bauer
bb0febf575
Merge pull request #43079 from matthewbauer/rework-extra-pkgs
...
Rework stage.nix's extraPkgs
2018-07-05 18:05:57 -04:00
Matthew Bauer
c491a99362
treewide: remove callPackage_i686
...
This has been replaced with pkgsi686Linux.callPackage
2018-07-05 14:04:52 -04:00
Will Dietz
67986382e4
Merge pull request #43071 from dtzWill/fix/vampire-portability
...
vampire: portability fixes
2018-07-05 11:13:42 -05:00
Gabriel Ebner
bec83a2b9e
cvc4: 1.5 -> 1.6
2018-07-05 17:57:06 +02:00
Will Dietz
7353d8396d
vampire: enable parallel building
2018-07-05 10:13:40 -05:00
Will Dietz
600abbedc9
vampire: portability fixes
...
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).
Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
2018-07-05 10:13:32 -05:00
Will Dietz
8e6db30bb7
vampire: use CC/CXX from env, instead of always g++
2018-07-05 10:11:32 -05:00
Gabriel Ebner
887b6fd793
qalculate-gtk: 2.5.0 -> 2.6.0
2018-07-05 12:33:27 +02:00
Gabriel Ebner
7c63a9cac2
eprover: 2.0 -> 2.1
2018-07-05 12:26:43 +02:00
Gabriel Ebner
57ae4e8d8e
vampire: init at 4.2.2
2018-07-05 09:34:28 +02:00
R. RyanTM
5a859d9b10
stellarium: 0.18.0 -> 0.18.1 ( #42949 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/stellarium/versions .
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-wrapped had a zero exit code or showed the expected version
- 0 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1
- directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d
- du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
2018-07-05 00:24:22 +02:00