Gabriel Ebner
b2eff3c60d
eprover: 1.9.1 -> 2.0
2017-09-05 13:59:07 +02:00
Samuel Leathers
00753e078d
qucs: 0.0.18 -> 0.0.19
2017-09-03 14:21:52 -04:00
Samuel Leathers
df1d5a4827
adms: init at 2.3.6
2017-09-03 14:21:16 -04:00
Samuel Leathers
d9cd226a6d
neuron: 7.4 -> 7.5
2017-09-02 16:58:14 -04:00
Austin Seipp
54ae0aa1b0
z3_opt: remove and replace with z3
...
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c
yices: now under GPLv3
...
This means Hydra can build it now!
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
fc143bf1a3
iverilog: 2016.05.21 -> 2017.08.12
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Samuel Leathers
04b8a85739
caneda: fix build with gcc6
2017-08-31 22:59:37 -04:00
Jörg Thalheim
4acdb408c0
Merge pull request #28801 from veprbl/sherpa_2_2_4
...
sherpa: 2.2.1 -> 2.2.4
2017-08-31 21:07:54 +01:00
Dmitry Kalinkin
59b525e559
sherpa: 2.2.1 -> 2.2.4
2017-08-31 14:32:05 -04:00
Jörg Thalheim
ed997b153c
Merge pull request #28756 from disassembler/pulseview-sigrok
...
pulseview and sigrok updates
2017-08-31 09:28:44 +01:00
Dmitry Kalinkin
7c7ca7f017
root: add noSplash option
2017-08-30 19:56:53 -04:00
Samuel Leathers
b39462d0c3
pulseview: 0.3.0 -> 0.4.0
2017-08-30 13:52:17 -04:00
Michael Raskin
e36afa80e3
gfan: 0.5 -> 0.6; #28643
2017-08-30 18:19:14 +02:00
Samuel Leathers
029f40a552
xplanet: gcc6 patch
2017-08-30 11:04:26 -04:00
Lancelot SIX
e8e0cb193e
pspp: 0.8.3 -> 1.0.1
2017-08-30 10:01:32 +02:00
Will Dietz
c8f2e3f95f
cvc3: Add gcc6 patch from Gentoo.
...
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
2017-08-29 13:48:09 -05:00
Gabriel Ebner
393f1f53be
qalculate-gtk: 1.0.0 -> 2.0.0a
2017-08-29 10:30:26 +02:00
Lukas Werling
f0a1ab78b4
meson/ninja: add setup hooks ( #28444 )
...
* Add setupHook for meson/ninja build
* libhttpseverywhere: Use meson/ninja setupHooks
* jamomacore: Remove superfluous ninja buildInput
* Remove obsolete ninja buildPhases
These are all handled by ninja's setup hook.
* lean2, xcbuild: fix build with ninja setup hook
Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.
* qtwebengine: fix build with ninja setup hook
2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf
yices: 2.5.2 -> 2.5.3
...
Move to github URL, homepage seems to be down currently.
2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0
libpoly: 0.1.3 -> 0.1.4
2017-08-27 10:10:47 -05:00
Dmitry Kalinkin
fd22d671ec
root: 6.10.02 -> 6.10.04
2017-08-22 04:00:39 +02:00
Joachim F
aeb733c8d5
Merge pull request #28377 from Ma27/update/geogebra
...
geogebra: 5-0-377-0 -> 5-0-382-0
2017-08-20 20:15:37 +00:00
Frederik Rietdijk
5b8cd48e99
Merge pull request #28320 from rybern/add-poretools
...
poretools: init at 0.6.0
2017-08-20 17:44:05 +02:00
Gabriel Ebner
7da15a071d
open-wbo: init at 2.0
2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c
lean2: 2016-11-29 -> 2017-07-22
...
This will also fix the build issues with GCC 6.
2017-08-19 15:24:35 +02:00
Maximilian Bosch
319dac82d1
geogebra: fallback to web.archive.org
2017-08-18 21:42:50 +02:00
Maximilian Bosch
242d950ab3
geogebra: 5-0-377-0 -> 5-0-382-0
2017-08-18 21:40:58 +02:00
Ryan Bernstein
749e702a46
poretools: version number to commit date
2017-08-18 09:59:26 -04:00
Matthew Bauer
b3d8c08a55
acgtk: fix homepage url
2017-08-17 15:04:37 -07:00
Matthew Bauer
59c5f52f67
caneda: use caneda.org for homepage
2017-08-17 15:04:37 -07:00
Matthew Bauer
99c868c010
use https://github.com for all homepages
...
GitHub does a redirect to https:// when you use http://
repology complains with:
“Homepage link "https://github.com/ …" is dead (HTTP error 404) for more than a month.”
This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Ryan Bernstein
a13e4ad1f5
poretools: init at 0.6.0
2017-08-17 11:17:30 -04:00
Frederik Rietdijk
006edcc316
Merge pull request #27440 from mnacamura/mathematica11_fix_ldpath
...
mathematica: fix library paths
2017-08-13 22:55:18 +02:00
Frederik Rietdijk
b14efb6a6c
Merge pull request #28211 from mimadrid/update/samtools-1.5.0
...
samtools: 1.4.0 -> 1.5.0
2017-08-13 22:32:48 +02:00
Frederik Rietdijk
3f642af583
Merge pull request #28062 from lsix/update_motu-client
...
motu-client: 1.0.8 -> 1.4.0
2017-08-13 22:08:54 +02:00
Frederik Rietdijk
6e386925ac
Merge pull request #28229 from jpierre03/pr-alt-ergo
...
alt-ergo: use https instead of http to fetch archive
2017-08-13 22:01:59 +02:00
Frederik Rietdijk
13bbaee21d
Merge pull request #27881 from mimadrid/fix/http-https
...
Update homepage attributes: http -> https
2017-08-13 21:53:20 +02:00
Frederik Rietdijk
7ebcd39a0f
Merge commit '4c49205' into HEAD
2017-08-13 18:34:59 +02:00
Jean-Pierre PRUNARET
184d2e7977
alt-ergo: use https instead of http to fetch archive
2017-08-13 13:26:30 +02:00
mimadrid
15a99ae367
bcftools: 1.4.0 -> 1.5.0
2017-08-13 00:17:48 +02:00
mimadrid
ca45a26ec3
samtools: 1.4.0 -> 1.5.0
2017-08-13 00:17:25 +02:00
Will Dietz
fbb6b90ed0
yices: 2.5.1 -> 2.5.2
2017-08-12 13:02:33 -05:00
pe@pijul.org
443ac23336
Gwyddion: init at 2.48
2017-08-11 20:30:11 +02:00
Lancelot SIX
38f3153caa
motu-client: 1.0.8 -> 1.4.0
2017-08-09 10:08:14 +02:00
davidak
3270aa896b
replace "Mac OS X" and "OS X" with "macOS"
...
as it is the official name since 2016
https://en.wikipedia.org/wiki/Macintosh_operating_systems#Desktop
exception are parts refering to older versions of macOS like
"GUI support for Mac OS X 10.6 - 10.12. Note that Emacs 23 and later [...]"
2017-08-07 21:41:30 +02:00
Vincent Laporte
eb7312ca7d
maxima: 5.39.0 -> 5.40.0
2017-08-05 10:48:50 +02:00
Théo Zimmermann
057ffcf0dd
coq: adding myself to the maintainers
2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051
coq: use camlp5_strict
...
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00
coq: 8.6 -> 8.6.1
2017-08-04 19:52:51 +02:00
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https
...
Homepage link "http://.../ " is a permanent redirect to "https://.../ " and should be updated
https://repology.org/repository/nix_stable/problems
2017-08-03 11:56:15 +02:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
Frederik Rietdijk
3ed7975b65
Merge pull request #27844 from mimadrid/update/igv-2.3.98
...
igv: 2.3.89 -> 2.3.98
2017-08-01 21:52:33 +02:00
Frederik Rietdijk
d1af3b33aa
Merge pull request #27006 from Infinisil/scyther
...
scyther: init at 1.1.3
2017-08-01 21:48:47 +02:00
mimadrid
20fb18bdbc
igv: 2.3.89 -> 2.3.98
2017-08-01 20:46:31 +02:00
John Wiegley
ea8798acc6
coq2html: New expression
2017-08-01 09:30:20 -07:00
Frederik Rietdijk
903d9daf0f
Merge pull request #27816 from mimadrid/update/calc-2.12.6.1
...
calc: 2.12.5.3 -> 2.12.6.1
2017-08-01 09:19:29 +02:00
mimadrid
eaf1198f39
calc: 2.12.5.3 -> 2.12.6.1
2017-07-31 23:27:29 +02:00
Gabriel Ebner
b94da10c27
libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0
2017-07-31 16:29:39 +01:00
Franz Pletz
5d2f5e374f
verilator: build with current flex
2017-07-29 19:51:16 +02:00
Maximilian Bosch
02ceec5343
geogebra: 5-0-369-0 -> 5-0-377-0
2017-07-26 23:06:30 +02:00
Peter Hoeg
45248be2aa
cryptominisat: use new xxd package instead of vim
2017-07-24 09:37:58 +08:00
Silvan Mosberger
313b8b7e4b
scyther: Separated into two derivations
2017-07-23 03:17:38 +02:00
Franz Pletz
e69dfc252a
Revert "coq2html: New expression"
...
This reverts commit 31437ccf7a
2017-07-20 19:36:50 +02:00
John Wiegley
31437ccf7a
coq2html: New expression
2017-07-20 11:51:25 -04:00
Mitsuhiro Nakamura
fb2302e115
Add missing 'math'
2017-07-19 17:39:36 +09:00
Mitsuhiro Nakamura
7aaea7297e
Simplify the sed script
2017-07-19 15:18:44 +09:00
Jörg Thalheim
699f8e2f65
Merge pull request #26352 from Mounium/aliza
...
aliza: init at 1.29.2
2017-07-19 07:03:01 +01:00
Jörg Thalheim
d945e3ccc4
Merge pull request #27366 from veprbl/version_bumps
...
bump rivet, yoda, lhapdf
2017-07-18 23:38:53 +01:00
Symphorien Gibol
d7103eadc8
boolector: 1.{5,6} -> 2.4.1
2017-07-18 23:50:31 +02:00
Mitsuhiro Nakamura
488db3d392
mathematica: fix library paths
2017-07-18 19:45:43 +09:00
Gabriel Ebner
7ba1c7a9fb
iprover: 0.8.1 -> 2.5
2017-07-17 22:45:27 +01:00
Silvan Mosberger
75fde4130d
scyther: init at 1.1.3
2017-07-16 23:38:05 +02:00
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta
2017-07-15 09:27:41 +02:00
Dmitry Kalinkin
459e3864d2
root: 6.10.00 -> 6.10.02
2017-07-14 04:40:27 -04:00
Vincent Laporte
8bafd3aaa4
ginac: 1.6.2 -> 1.7.2
2017-07-13 19:35:06 +02:00
Michael Raskin
dcbe96d260
Merge pull request #27197 from kquick/master
...
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e
acgtk: 1.1 -> 1.3.1
2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743
hol_light: 2016-07-23 -> 2017-07-06
2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9
Fix license reference for added libpoly library.
2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b
Update yices to add libpoly/mcsat functionality and add soname target.
2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee
Add poly library for manipulating polynomials.
2017-07-06 21:30:30 -07:00
Katona László
b86eb39a58
aliza: 1.28.10->1.29.2
2017-07-02 23:39:08 +02:00
Peter Simons
4c5577b504
R: update to version 3.4.1
2017-06-30 13:37:26 +02:00
Shea Levy
24c59a4452
neuron: enable GUI
2017-06-28 11:59:54 -04:00
Maximilian Bosch
9516bbf172
geogebra: make language configurable
2017-06-27 09:51:06 +02:00
Vincent Laporte
ac83ef3994
glsurf: 3.3 -> 3.3.1
2017-06-26 19:24:33 +02:00
Joachim F
90d3a0314c
Merge pull request #26836 from Ma27/update/geogebra
...
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 16:35:13 +01:00
Maximilian Bosch
f5665e9ab4
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 12:39:30 +02:00
Jörg Thalheim
ad42e5f6e5
Merge pull request #26795 from veprbl/root_6.10.00
...
root: 6.09.02 -> 6.10.00
2017-06-25 09:14:30 +01:00
Dmitry Kalinkin
ada12f46dc
root: 6.09.02 -> 6.10.00
...
also workaround #26197
2017-06-24 13:38:25 -04:00
Frederik Rietdijk
4f0d812abc
python.pkgs.spyder: remove maintainers
...
since we both do not use this package anymore.
cc @bjornfor
2017-06-23 10:44:42 +02:00
Franz Pletz
b6cf652e08
boinc: 7.4.42 -> 7.8.0
2017-06-20 05:19:31 +02:00
Gabriel Ebner
89e02c7516
lean: 3.1.0 -> 3.2.0
2017-06-18 20:04:30 +02:00
Thomas Tuegel
c816bbc8a8
qt5: remove makeQtWrapper
2017-06-18 08:44:42 -05:00
Thomas Tuegel
210f688802
qt5: rename qmakeHook to qmake
2017-06-18 08:41:57 -05:00
Thomas Tuegel
3f3d33a078
qt5: use distinct lib/qt-5.x prefix for each minor version
...
Using a distinct prefix for plugins and QML libraries allows multiple Qt 5 minor
versions to coexist in the same environment.
2017-06-18 08:41:57 -05:00
Katona László
5e528db0d9
aliza: init at 1.28.10
2017-06-15 19:53:01 +02:00
Justin Bedo
94ec54598c
snpeff: 4.3i -> 4.3p
2017-06-13 15:31:52 +10:00
Jörg Thalheim
c972f01e2d
pymol: set PYTHONPATH in a future way
2017-06-02 21:55:16 +01:00
Katona László
2a1c535b7e
pymol: added Pmw + python version bump
2017-06-02 19:58:00 +02:00
Maximilian Bosch
47e8665595
geogebra: 5-0-355-0 -> 5-0-361-0
2017-05-30 06:35:33 +02:00
Dan Peebles
594829ddfc
msieve: update and enable on Darwin
2017-05-26 18:18:39 -04:00
Dan Peebles
1df505fc36
ecm: enable on Darwin
2017-05-26 18:14:31 -04:00
Vladimír Čunát
8004e79415
Merge branch 'master' into staging
2017-05-24 03:24:06 +02:00
Samuel Leathers
fdbcee03fe
minisat: fix maintainer
2017-05-22 23:55:05 -04:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0
2017-05-22 22:25:45 +01:00
Jörg Thalheim
893c7b6112
cryptominisat: init at 5.0.1
2017-05-22 22:25:14 +01:00
Jörg Thalheim
7786922240
minisatUnstable: init at 2013-09-25
2017-05-22 22:24:58 +01:00
Frederik Rietdijk
99cfab07b9
Merge remote-tracking branch 'upstream/master' into HEAD
2017-05-22 09:21:40 +02:00
Shea Levy
b1b61d0988
coq: nix-buffer: Inherit variables to PG shell
2017-05-22 00:45:54 -04:00
Jörg Thalheim
ea706bd98b
Merge pull request #25231 from veprbl/root_6.09.02
...
root: 6.08.02 -> 6.09.02
2017-05-20 17:37:43 +01:00
Joachim Fasting
874b81b31f
treewide: s,enableParallelBuild(s),enableParallelBuilding,g
2017-05-20 17:16:17 +02:00
marcnnn
e46ca1b95f
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 ( #25808 )
...
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
2017-05-20 14:00:39 +01:00
Shea Levy
b21540c4a6
coq: Add emacs buffer setup
2017-05-20 08:34:33 -04:00
Vladimír Čunát
65ede052fa
treewide: fixup packages with RPATH problems
2017-05-16 18:30:58 +02:00
Matthew Daiter
093130f802
openmvs: init at current master ( #25672 )
...
* openmvs: init at current master
* openmvs: simplify expression
* openmvs: init at unstable-2017-05-01
2017-05-12 20:07:11 +01:00
Jörg Thalheim
be19ad150c
Merge pull request #25594 from mimadrid/update/htslib-1.4
...
Update/htslib 1.4
2017-05-11 07:08:56 +01:00
mimadrid
8d1bebf83c
bcftools: 1.3.1 -> 1.4
2017-05-11 07:04:33 +01:00
Peter Hoeg
32b57bec77
Merge pull request #25588 from mimadrid/update/weka-3.8.1
...
weka: 3.8.0 -> 3.8.1
2017-05-09 17:39:05 +08:00
mdaiter
fdd28b6fe0
openmvg: clarify Git version
...
fixes #25615
2017-05-09 09:39:41 +01:00
Frederik Rietdijk
183cada05a
Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1
...
cytoscape: 3.4.0 -> 3.5.1
2017-05-09 10:03:20 +02:00
mimadrid
9073e67568
samtools: 1.3.1 -> 1.4
2017-05-07 23:15:48 +02:00
mimadrid
0ed5b1c867
cytoscape: 3.4.0 -> 3.5.1
2017-05-07 23:05:59 +02:00
mimadrid
bfc3d976f3
weka: 3.8.0 -> 3.8.1
2017-05-07 22:54:09 +02:00
Michael Raskin
587ed894a4
Merge pull request #25480 from mdaiter/openmvg
...
openmvg: init at v1.1
2017-05-05 15:58:17 +02:00
Matthew Daiter
c6385eb0f5
openmvg: init at v1.1
2017-05-05 15:51:32 +02:00
Daniel Frank
f3f38eccbb
kicad: update to 4.0.6
2017-05-04 20:39:20 +02:00
Peter Simons
5e5d16f425
R: import upstream patch to fix broken "R CMD Sweave" command
...
The command "R CMD Sweave" always exits with error code "1", even if the
command was successful. This upstream patch remedies this issue.
2017-05-03 14:20:41 +02:00
Aneesh Agrawal
bd9246b009
treewide: Always use integers for meta.priority
...
Meta attributes types are now enforce as of commit
90b9719f4f
2017-05-02 01:43:22 -04:00
Dmitry Kalinkin
a7b4b84048
sherpa: fix for llvm 4
2017-05-02 00:54:42 -04:00
Michael Raskin
41475012eb
Merge pull request #25164 from marsam/master
...
Homogenize abc-verifier, dwm, osmctools homepages
2017-05-01 15:47:15 +02:00
Michael Raskin
49c419cf3e
Merge pull request #25117 from lucas8/cubicle
...
cubicle: init at 1.0.2
2017-05-01 14:26:52 +02:00
Michael Raskin
7ef99bf054
Merge pull request #24085 from bcdarwin/ants
...
ants: set $ANTSPATH variable in shell scripts
2017-04-30 23:03:06 +02:00
Daiderd Jordan
5e3de3938e
Merge pull request #25217 from LnL7/darwin-csdp
...
csdp: fix darwin build
2017-04-30 14:33:30 +02:00
Michael Raskin
ce9c7dd0d6
Merge pull request #21822 from rht/master
...
coq_HEAD: Update to the latest commit
2017-04-30 12:49:20 +02:00
Maximilian Bosch
b12f76ddd3
geogebra: 5-0-350-0 -> 5-0-355-0 ( #25324 )
2017-04-29 14:34:57 +01:00
Peter Hoeg
bf4710fa80
speedcrunch: allow building with qt 5.8
2017-04-28 08:41:58 +08:00
Daiderd Jordan
2bd39ab013
csdp: fix darwin build
...
the build sets CC=clang causing it to essentially ignore the cc wrapper
2017-04-27 20:55:09 +02:00
Dmitry Kalinkin
be9c0e8b7e
root: 6.08.02 -> 6.09.02
...
This also fixes breakage on darwin due to LLVM4.0 migration.
I had to enable opengl because otherwise macOS build is broken.
See root commit 23f8871c7 ('Do not include OpenGL directly but use our
TGLIncludes for that purpose.')
I've enabled xml because TUnfold depends on it.
2017-04-26 16:34:14 -04:00
lucas8
eedc6799b6
cubicle: init at 1.0.2
2017-04-25 22:02:42 +02:00
Peter Simons
d16c38a260
R: update to version 3.4.0
...
The new version needs TZ configured to a value other than "UTC" for the test
suite to succeed. Otherwise, an assumption in "reg-tests-1d.R" won't hold that
expects
d <- as.POSIXlt("2016-12-06"); d$zone <- 1; format(d)
to throw an error about an invalid time zone.
2017-04-24 15:39:08 +02:00
Mario Rodas
0e7b608ab0
abc-verifier: Add http url scheme to abc homepage
2017-04-23 18:45:36 -05:00
Nikolay Amiantov
13162b9ddb
fritzing: 0.9.0b -> 0.9.3b
...
Fixes #24943 .
2017-04-23 17:53:11 +03:00
Vladimír Čunát
9fc61d0db5
simgrid: fixup sandboxed build after update #24915
2017-04-16 14:15:32 +02:00
Sophia Gold
76b8ce3023
simgrid: 3.11.1 -> 3.15
2017-04-15 08:22:02 +02:00
Matthias Beyer
6239da6ade
diamond: init at 0.8.36
2017-04-12 13:05:57 +02:00
Justin Bedő
c5015b77af
platypus: fix platforms metadata ( #24666 )
2017-04-06 10:10:54 +01:00
Maximilian Bosch
1e295260e2
geogebra: 5-0-346-0 -> 5-0-350-0
2017-03-30 21:55:05 +02:00
Robin Gloster
b9948fedc6
ncbi_tools: mark as broken and remove -fPIC
...
PIC is used by default since 16.09
2017-03-30 16:23:34 +02:00
