Commit graph

1378 commits

Author SHA1 Message Date
Théo Zimmermann a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Michael Raskin 37392454f3 Merge pull request #28948 from disassembler/qucs
Qucs: version update and adms dependency
2017-09-06 20:24:55 +02:00
Robin Gloster a0967948d9
bwa: 0.7.15 -> 0.7.16a 2017-09-05 14:42:45 +02:00
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