JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
153,386 Commits 2 Branches 0 Tags 13 GiB
41f06396cc
Commit Graph

2085 Commits

Author SHA1 Message Date
Jörg Thalheim
0ee6d7e3ab
Merge pull request #45011 from jbaum98/symmetrica-darwin 
symmetrica: Add darwin support
 2018-08-15 07:54:56 +02:00
Jake Waksbaum
47aa6abe96 ratpoints: 2.1.3 -> 2.1.3.p4; add darwin support 2018-08-14 11:27:59 -04:00
Jake Waksbaum
8ae47fa81a symmetrica: Add darwin support 2018-08-14 11:23:21 -04:00
Jake Waksbaum
be81e1e29c gfan: Add darwin support 2018-08-14 00:16:46 -04:00
Vladimír Čunát
5b0398dc36
Merge branch 'master' into staging-next 
Conflicts: gobby and libinfinity - I took the hand-edited versions
instead of those resuting from the mass-replacement.

Hydra: ?compare=1473190
 2018-08-13 20:43:59 +02:00
Sebastien Maret
b4599987e3 gildas: 20180701_a -> 20180801_a 2018-08-13 15:17:15 +02:00
Gabriel Ebner
7478da5e84
Merge pull request #42885 from smaret/gildas 
gildas: 20180601_a -> 20180701_a
 2018-08-13 10:55:18 +02:00
Andrew Childs
07bd1d8737 kicad: use default cmake 2018-08-13 11:05:54 +09:00
Samuel Dionne-Riel
c9035c6e12
Merge pull request #44681 from r-ryantm/auto-update/vcftools 
vcftools: 0.1.15 -> 0.1.16
 2018-08-12 19:26:38 -04:00
Vladimír Čunát
00df25ee57
Merge branch 'master' into staging-next 
Hydra: ?compare=1472947
 2018-08-12 10:33:41 +02:00
Chris Ostrouchov
9745611ed6
lammps: 16Feb16 -> patch_2Aug2018 
Major changes and update to lammps build

 - using fetchFromGitHub to get source instead of lammps mirror
 - configurable lammps packages included and includes for compilation
 - cleaner build script
 - preserving the executable, shared library names, and include headers
 2018-08-10 16:35:54 -04:00
Sebastien Maret
e3b42396c6 gildas: update source url 2018-08-10 10:13:31 +02:00
Sebastien Maret
170426510e gildas: patch perl interpreter path 2018-08-10 10:04:27 +02:00
Silvan Mosberger
68d3350433
Merge pull request #44837 from Infinisil/fix/sad 
sad: fix build
 2018-08-09 22:36:14 +02:00
Jake Waksbaum
3babbaaa47 palp: Add darwin support (#44829) 2018-08-09 22:28:27 +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
R. RyanTM
f5f55e4727 vcftools: 0.1.15 -> 0.1.16 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/vcftools/versions.
 2018-08-08 00:48:04 -07:00
Timo Kaufmann
291018b34e arb: 2.13.0 -> 2.14.0 (#44600) 2018-08-07 16:38:34 +02:00
symphorien
0ca40a51c7 gwyddion, ripser: fix derivation name (#44577) 2018-08-07 01:21:53 +02:00
Michael Raskin
75cb04672f
Merge pull request #44508 from timokau/cddlib-0.94j 
cddlib: 0.94i -> 0.94j
 2018-08-05 19:03:47 +00:00
Timo Kaufmann
0a44ff7676 cddlib: 0.94i -> 0.94j 
cddlib was autotoolized, incorporated equivalents to the sage patches
and moved to GitHub.
 2018-08-05 19:02:45 +02:00
Michael Raskin
6b0234942b
Merge pull request #44501 from timokau/sage-native-pari 
sage: don't override pari
 2018-08-05 15:14:00 +00:00
Timo Kaufmann
30c822189d sage: don't override pari 
Sage assumes that pari does not use threads. However instead of
disabling them at compile time, we can diable them at runtime instead.
As a result, sage doesn't need its own version of pari anymore. That
means less rebuilds, less complexity and easier debugging.
 2018-08-05 13:48:14 +02:00
Michael Raskin
58384b1dd0 scilab-bin: 5.5.2 -> 6.0.1 2018-08-05 11:27:35 +03:00
Michael Raskin
b79dbfe482
Merge pull request #43281 from timokau/sage-8.3 
sage: 8.2 -> 8.3
 2018-08-04 13:02:06 +00:00
Timo Kaufmann
834a24e0ff sage: don't pin ntl 
Now possible because of the lcalc c++11 patch.
 2018-08-04 14:22:58 +02:00
Timo Kaufmann
e550e5d0c7 lcalc: apply c++11 patch 2018-08-04 14:22:29 +02:00
Timo Kaufmann
fa34f6d41c sage: don't pin pari 2018-08-04 14:22:28 +02:00
Timo Kaufmann
e82c26af9b sage: don't pin singular 2018-08-04 14:22:28 +02:00
Timo Kaufmann
289173366b singular: backport ntl error handling patch 2018-08-04 14:22:27 +02:00
Timo Kaufmann
840b64fdb8 sage: 8.2 -> 8.3 2018-08-04 14:22:21 +02:00
Tuomas Tynkkynen
008fd5fcf5 Merge remote-tracking branch 'upstream/master' into staging 2018-08-04 15:17:42 +03:00
John Ericson
db965063b3 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
John Ericson
85a9913edd treewide: Make more complicated configureFlags lists 2018-08-03 17:06:03 -04:00
John Ericson
632d24f11f scilab: Make configureFlags a list 2018-08-03 17:05:58 -04:00
Robert Schütz
ae3bbf2958 almonds: use python3 2018-08-03 18:04:46 +02:00
Johannes Frankenau
79cd841713 bcal: 1.8 -> 1.9 2018-08-03 09:08:26 +02:00
Uli Baum
052e4baf0a somatic-sniper: disable parallel building 
to fix non-deterministic failure
 2018-08-03 08:27:41 +02:00
xeji
9e52696649
Merge pull request #44325 from markuskowa/molcas 
openmolcas: init at 20180529
 2018-08-02 10:32:04 +02:00
Markus Kowalewski
484473b184
openmolcas: init at 20180529 2018-08-02 10:18:17 +02:00
Justin Bedő
51fc0ef8d2 somatic-sniper: init 1.0.5.0 (#43403) 2018-08-01 22:11:13 +02:00
Jörg Thalheim
9cff865230
Merge pull request #44122 from bgamari/kicad-0.5 
kicad: 4.0.7 -> 5.0.0
 2018-07-31 15:12:27 +01:00
Jörg Thalheim
71b579f9d4 kicad: remove scripting flag for simplicity 2018-07-31 14:44:49 +01:00
Jörg Thalheim
611f0ed188 kicad: properly wrap wxPython 2018-07-31 14:37:59 +01:00
R. RyanTM
38c8be3726 gp2c: 0.0.10pl1 -> 0.0.11 (#43941) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gp2c/versions.
 2018-07-31 00:30:21 +02:00
R. RyanTM
d7c3926352 bcftools: 1.8 -> 1.9 (#43950) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/bcftools/versions.
 2018-07-30 22:36:27 +02:00
Timo Kaufmann
ae821e09e7 glpk: adopt error recovery patch (#44201) 
This makes it possible to use "vanilla" glpk for sage and shouldn't
affect anything else.
 2018-07-29 20:53:56 +02:00
Frederik Rietdijk
e46e7f44c2
Merge staging-next into master 2018-07-29 09:13:54 +02:00
Lluís Batlle i Rossell
f54b387b63 Merge remote-tracking branch 'central/master' into viric_clean 2018-07-28 19:25:14 +02:00
Frederik Rietdijk
8db716d9f3 Merge master into staging-next 2018-07-28 12:31:35 +02:00
Frederik Rietdijk
1fe2a0f81e
Merge pull request #44129 from timokau/pari-2.11.0 
pari: 2.9.5 -> 2.11.0
 2018-07-27 11:57:57 +02:00
Timo Kaufmann
330c501be0 pari: 2.9.5 -> 2.11.0 
The pari update makes it necessary to disable a giac test that only
fails because it directly tests the pari interface.
 2018-07-26 18:42:17 +02:00
Ben Gamari
a4c932fa51 kicad: 4.0.7 -> 5.0.0 2018-07-26 12:27:27 -04:00
Frederik Rietdijk
f59e6f4037 Merge master into staging 2018-07-26 16:18:53 +02:00
Robert Schütz
daabcc3b9a spyder: use python3 
Dependency pylint is no longer supported on Python 2.
 2018-07-26 12:43:18 +02:00
Matthew Bauer
6d880d2d5b
Merge pull request #42149 from timjrd/openspace-rebase 
openspace: init at 0.11.1
 2018-07-23 11:38:06 -04:00
Timo Kaufmann
024c23503c singular: 4.1.1p1 -> 4.1.1p2 2018-07-23 12:17:25 +02:00
Lluís Batlle i Rossell
66d7126255 Take me (viric) out of most maintenance 
Since years I'm not maintaining anything of the list below other
than some updates when I needed them for some reason. Other people
is doing that maintenance on my behalf so I better take me out but
for very few packages. Finally!
 2018-07-22 21:50:19 +02: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
Frederik Rietdijk
5dcb1febac
Merge pull request #43913 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.9 -> 2.18.10
 2018-07-22 08:42:32 +02:00
Frederik Rietdijk
935a54f300
Merge pull request #43940 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.91 -> 3.3.92
 2018-07-22 08:23:25 +02:00
R. RyanTM
a7a3526f71 gtkwave: 3.3.91 -> 3.3.92 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
 2018-07-21 17:57:51 -07:00
Ricardo M. Correia
0cf09556eb
why3: 0.88.3 -> 1.0.0 2018-07-21 22:53:44 +00:00
R. RyanTM
668047ca55 picard-tools: 2.18.9 -> 2.18.10 
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.
 2018-07-21 12:28:41 -07: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
Sebastien Maret
9092083e9e gildas: fix architecture detection for aarch64 2018-07-21 13:21:06 +02:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
volth
6d2857a311 [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
Frederik Rietdijk
1a6af9f88e
Merge pull request #43857 from volth/unused 
[bot] treewide: remove unreferenced code
 2018-07-20 21:06:32 +02:00
volth
87f5930c3f [bot]: remove unreferenced code 2018-07-20 18:48:37 +00:00
Matthew Bauer
fddd90e9ea
Merge pull request #43538 from timokau/fetchpatch-fix 
fetchpatch: quote excludes
 2018-07-19 00:35:09 -04:00
Matthew Bauer
76999cc40e treewide: remove aliases in nixpkgs 
This makes the command ‘nix-env -qa -f. --arg config '{skipAliases =
true;}'’ work in Nixpkgs.

Misc...

- qtikz: use libsForQt5.callPackage

  This ensures we get the right poppler.

- rewrites:

  docbook5_xsl -> docbook_xsl_ns
  docbook_xml_xslt -> docbook_xsl

diffpdf: fixup
 2018-07-18 23:25:20 -04:00
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
Timo Kaufmann
3058513941 fetchpatch: add option to revert a patch 2018-07-16 22:46:54 +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
Sebastien Maret
8ae9e7ef10 gildas: apply upstream fix and restore parallel building 2018-07-06 14:02:37 +02:00
Sebastien Maret
72dc6fdf47 gildas: disable parallel building 2018-07-06 10:35:53 +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
Michael Raskin
04bd737062
Merge pull request #43026 from r-ryantm/auto-update/clingo 
clingo: 5.2.2 -> 5.3.0
 2018-07-04 21:01:39 +00:00
R. RyanTM
a431e4f207 clingo: 5.2.2 -> 5.3.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.

Version release notes (from GitHub):
# Packages

- The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].

# Changes

* change C API to use numeric instead of symbolic literals
  * affects assumptions and assigning/releasing externals (breaks backward compatibility)
  * added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
* the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
* add API function to detect conflicting programs
* add message logger to python and lua interface
* add support for primes in the beginning of identifiers and variable names
* add per solver registration of watches during propagator initialization
* add a directive to selectivel suppress undefined atom warnings
* add support for user defined statistics
* add _to_c functions for python API to be able to call C functions from python
* only create ground representations for requested program parts when grounding (#71)
* improve program observer (#19)
* support for binary, octal, and hexadecimal numbers (#65)
* the backend has to be opened/closed now
* release python's GIL while grounding (#82)
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation

[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html

These checks were done:

- built on NixOS
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
- 5 of 5 passed binary check by having a zero exit code.
- 0 of 5 passed binary check by having the new version present in output.
- found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
- directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
- du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
 2018-07-04 11:23:33 -07:00
Silvan Mosberger
fac943fc81
Merge pull request #42897 from fragamus/master 
add bliss package
 2018-07-04 13:59:41 +02:00
Michael Gough
e3ea685957 bliss: init at 0.73 2018-07-04 11:33:10 +00:00
Timo Kaufmann
dcc1013f6b pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840) 2018-07-02 18:03:05 +02:00
Sebastien Maret
d46fde9eb1 gildas: 20180601_a -> 20180701_a 2018-07-02 17:16:25 +02:00
Sarah Brofeldt
f06ce58323
Merge pull request #42843 from fragamus/master 
hmetis: init at 1.5
 2018-07-02 11:40:41 +02:00
Peter Simons
cbc1a03ab8 R: update to version 3.5.1 
(cherry picked from commit 7e2f2037ea6d6533492d407696f260e7b11df49d)
 2018-07-02 11:33:50 +02:00
Michael Gough
f180facaa0 hmetis: init at 1.5 2018-07-01 18:29:55 +00:00
Michael Raskin
055a29c4a1
Merge pull request #39981 from timokau/sage-on-nixos 
Sage on nixos
 2018-07-01 07:37:42 +00:00
Timo Kaufmann
70ba695777 sage: replace JUPYTER_PATH patch by upstream patch 
The patch was replaced by a better upstream patch that doesn't mvoe the
jupyter dir to the user's home.
 2018-06-30 22:30:30 +02:00
Timo Kaufmann
398dad270a sage, arb: update sage dependencies arb and pynac 
Removes the version pinning for arb and pynac by backporting the
upstream (sage) package upgrades. This necessitates a new patch for arb,
which was however already proposed and accepted upstream.
 2018-06-30 17:05:56 +02:00
Luz
f6a2869031 librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786) 
* Update: 2017-12-29 -> 2018-06-28

* Update libs also to qt5.9

* Add required default font file

* Switch back to default Qt version
 2018-06-30 13:56:12 +02:00
Ryan Mulligan
1d54dc6841 treewide: http -> https 2018-06-29 17:18:27 -07:00
Timo Kaufmann
17e6b391eb sage: 8.1 -> 8.2, use system packages 2018-06-30 01:21:31 +02:00
Timo Kaufmann
424835acc8 symmetrica: add patches 2018-06-30 01:20:46 +02:00
Théo Zimmermann
314eb884ec
coq_8_8: 8.8.0 -> 8.8.1 2018-06-29 11:10:31 +02:00
Matthew Bauer
2171fc4d55
Merge pull request #42590 from TimPut/openmvsbuildfix 
openmvs: build with CGAL 4.12
 2018-06-28 22:33:40 -04:00
Matthew Bauer
e714f85b2f
Merge pull request #41929 from smaret/gildas 
gildas: init at 201806_a
 2018-06-28 22:17:07 -04:00
Matthew Bauer
574883f665
Merge pull request #42571 from iimog/hmmer 
hmmer: init at 3.1b2
 2018-06-28 22:00:09 -04:00
Silvan Mosberger
57bccb3cb8 treewide: http -> https sources (#42676) 
* treewide: http -> https sources

This updates the source urls of all top-level packages from http to
https where possible.

* buildtorrent: fix url and tab -> spaces
 2018-06-28 20:43:35 +02:00
Ryan Mulligan
fce8f26af6 treewide: http -> https (#42665) 2018-06-27 22:12:57 +02:00