3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

15795 commits

Author SHA1 Message Date
Erik Rybakken 897a1ba8ff neomutt: 20160910 -> 20161104 (#20221) 2016-11-07 06:56:15 +01:00
Tim Steinbach 9972b64a82
darktable: 2.0.6 -> 2.0.7 2016-11-06 09:04:13 -05:00
Tobias Pflug f49f90bfdd
volnoti: init at 2013-09-23 2016-11-06 13:16:39 +01:00
Peter Simons 329bf83cad esniper: update to version 2.32.0 some more 2016-11-06 10:40:13 +01:00
Tor Hedin Brønner baae4be182 discord: 0.0.9 -> 0.0.10 (#20184) 2016-11-06 10:02:31 +01:00
Peter Simons bea1712727 esniper: update to version 2.32.0 2016-11-06 09:26:51 +01:00
Kranium Gikos Mendoza 606726005f snd: 15.9 -> 16.9 (#20202) 2016-11-06 04:56:14 +01:00
Kranium Gikos Mendoza 4e59b1a23c k3d: 0.8.0.5 -> 0.8.0.6 2016-11-06 11:01:39 +08:00
Tim Steinbach 1ae2f86a32
rkt: 1.17.0 -> 1.18.0 2016-11-05 22:27:42 -04:00
Frederik Rietdijk 8b956b58b3 Merge pull request #20040 from magnetophon/audacity
audacity: add jack and lv2 capabilities
2016-11-05 19:52:41 +01:00
Frederik Rietdijk 1d0a7ae2d3 Merge pull request #20058 from magnetophon/ladspaPlugins
ladspaPlugins: 0.4.15 -> 0.4.17
2016-11-05 19:50:14 +01:00
Tobias Geerinckx-Rice c4f41a0a61
remotebox: 2.0 -> 2.1 2016-11-05 18:44:10 +01:00
Tim Steinbach c86624c3db Merge pull request #20142 from NeQuissimus/dead_packages
Dead packages (Round 1)
2016-11-04 23:05:10 -04:00
Graham Christensen 85cf3b7418 Merge pull request #20136 from bitcoinprivacy/onlybitcoin
bitcoin: 0.13.0 -> 0.13.1
2016-11-04 22:15:50 -04:00
Tim Steinbach c431c39233
siproxd: 0.8.1 -> 0.8.2 2016-11-04 10:23:38 -04:00
Profpatsch 2bd86e9e47 Revert "Merge pull request #20090 from sternenseemann/master"
Reason: https://github.com/NixOS/nixpkgs/pull/20090#commitcomment-19686426

This reverts commit 9ffcb1b250, reversing
changes made to a6283c1126.
2016-11-04 12:24:57 +01:00
Tim Steinbach 6d11e8ed4c
Remove pal2nal
No longer build/exists
2016-11-03 21:58:47 -04:00
Tim Steinbach fd8d9098cb
Remove emacs stratego mode
Does not build, no longer exists
2016-11-03 21:40:35 -04:00
Tim Steinbach c36a1d6502
paml: 4.2a -> 4.9c 2016-11-03 21:33:19 -04:00
Jorge and Stefan 6ad9704d91 bitcoin: 0.13.0 -> 0.13.1 2016-11-03 21:03:52 +01:00
Franz Pletz a7d35fdff3
gitlab: 8.12.6 -> 8.12.8, fix CVE-2016-9086
https://about.gitlab.com/2016/11/02/cve-2016-9086-patches/
2016-11-03 20:18:05 +01:00
John Wiegley 4008300243 Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
2016-11-03 10:38:45 -07:00
zimbatm 7e9d6a1e26 terraform: 0.7.7 -> 0.7.8 2016-11-03 16:23:48 +00:00
Profpatsch 9ffcb1b250 Merge pull request #20090 from sternenseemann/master
Add jackline and (updated) ocaml-dependencies
2016-11-03 16:02:53 +01:00
sternenseemann b0d11b1177 jackline: init at 2016-10-30 2016-11-03 14:39:27 +01:00
Joachim F 3d847803e7 Merge pull request #20126 from michalrus/airwave
airwave: 1.3.2 → 1.3.3
2016-11-03 14:18:59 +01:00
Joachim F ea8a038702 Merge pull request #20122 from hiberno/hiberno-remove-maintainership
Remove myself as maintainer.
2016-11-03 13:04:09 +01:00
Michal Rus ce22a9c7ba
airwave: 1.3.2 → 1.3.3 2016-11-03 12:54:29 +01:00
Franz Pletz 12088f2ba1
mpv: add support for drm, fixes vaapi 2016-11-03 12:54:26 +01:00
Nikolay Amiantov 0914796d46 Merge pull request #20117 from ericsagnes/fix/qutebrowser
qutebrowser: fix wrapper
2016-11-03 14:24:09 +03:00
Christian Lask 2d524a37f8 Remove myself as maintainer. 2016-11-03 11:54:54 +01:00
Franz Pletz 9b3da61628 Merge pull request #20106 from rbasso/exercism-init-at-2.3.0
exercism: init at 2.3.0
2016-11-03 05:00:55 +01:00
Eric Sagnes 7668d3e69b styx: 0.2.0 -> 0.3.1 (#20118) 2016-11-03 04:58:53 +01:00
Franz Pletz 04db88d247
graphicsmagick: add patches to fix 3 CVEs
Fixes CVE-2016-8682, CVE-2016-8683, CVE-2016-8684.

cc #20078
2016-11-03 02:45:17 +01:00
Franz Pletz 25c01931bb
qemu: add patches to fix lots of CVEs
Patches from Debian and upstream git repo.

Fixes:

 * CVE-2016-6836
 * CVE-2016-7155
 * CVE-2016-7156
 * CVE-2016-7157
 * CVE-2016-7421
 * CVE-2016-7422
 * CVE-2016-7423
 * CVE-2016-7466
 * CVE-2016-8909
 * CVE-2016-8910
 * CVE-2016-9102
 * CVE-2016-9103
 * CVE-2016-9104
 * CVE-2016-9105
 * CVE-2016-9106

cc #20078
2016-11-03 02:45:16 +01:00
Eric Sagnes 76f742341c qutebrowser: fix wrapper 2016-11-03 10:38:57 +09:00
Tim Steinbach 04b22dd935 Merge pull request #19982 from sternenseemann/netcat
Make netcat-openbsd the default netcat
2016-11-02 19:44:29 -04:00
Vincent Laporte b028b5f4ef coq-8.5: ease the selection of an older (patch level) version 2016-11-02 19:39:22 +01:00
rbasso fa46c22354 exercism: init at 2.3.0 2016-11-03 03:25:07 +09:00
Vincent Laporte b840da02cd coq: build and install the votour utility 2016-11-02 19:23:15 +01:00
Vincent Laporte da68cc24f0 coq: 8.5pl2 -> 8.5pl3 2016-11-02 19:23:15 +01:00
Vladimír Čunát a890d1765b zotero: mark as broken #20049 2016-11-02 17:32:39 +01:00
Bart Brouns efcfcfc789 ladspaPlugins: 0.4.15 -> 0.4.17 2016-11-02 14:01:49 +01:00
Frederik Rietdijk e4d7515aef Merge pull request #20054 from magnetophon/fmsynth
fmsynth: init at 2015-02-07
2016-11-02 13:58:29 +01:00
Bart Brouns 4396ee9536 fmsynth: init at 2015-02-07 2016-11-02 13:42:45 +01:00
Frederik Rietdijk ea2907ad7a Merge pull request #20041 from magnetophon/ardour
ardour5: add dummy backend, so Ardour Session Utilities get built
2016-11-02 13:41:17 +01:00
Frederik Rietdijk 8307876240 Merge pull request #19983 from magnetophon/x42-plugins
x42-plugins: 20160619 ->20160825
2016-11-02 13:37:07 +01:00
Bart Brouns 22b74e3535 qjackctl: 0.4.2 -> 0.4.3 2016-11-02 12:24:10 +01:00
Frederik Rietdijk e1939ed056 konversation: 1.6.1 -> 1.6.2 2016-11-02 10:43:44 +01:00
Frederik Rietdijk d32b95c966 kile: 2016-07-25 -> 2016-10-24 2016-11-02 10:43:44 +01:00
Arseniy Seroka 21163a9c12 Merge pull request #20074 from peterhoeg/u/dropbox
dropbox: 12.4.22 -> 13.4.21
2016-11-02 11:41:59 +03:00
Joachim F 1ec0855c20 Merge pull request #20048 from jokogr/u/syncthing-inotify-0.8.4
syncthing-inotify: 0.8.3 -> 0.8.4
2016-11-02 01:34:04 +01:00
Eelco Dolstra 5926192e55 blender: 2.78 -> 2.78a 2016-11-01 22:52:48 +01:00
Thomas Tuegel cfbb419cb1
zotero: remove ttuegel from maintainers
I don't use Zotero at all anymore, and the Firefox plugin was much more
reliable than the standalone version in my experience.
2016-11-01 10:04:58 -05:00
Tim Steinbach 8746289295 Merge pull request #20036 from mdorman/emacs-updates
Emacs package updates
2016-11-01 09:08:19 -04:00
Tim Steinbach 5f06572c37 Merge pull request #20043 from magnetophon/guitarix
guitarix: 0.35.1 -> 0.35.2
2016-11-01 09:07:09 -04:00
Tim Steinbach b2e6068b66 Merge pull request #20002 from ambrop72/kdevelop-5.0.2
kdevelop: 5.0.0 -> 5.0.2
2016-11-01 09:05:56 -04:00
Tim Steinbach 658bb4994f Merge pull request #20023 from stesie/idea-updates-5
Update IntelliJ Toolbox
2016-11-01 09:04:32 -04:00
Tim Steinbach b99928b477 Merge pull request #20032 from jokogr/u/skrooge2-2.5.0
skrooge2: 2.4.0 -> 2.5.0
2016-11-01 09:04:09 -04:00
Tim Steinbach 47623f7b88 Merge pull request #20044 from magnetophon/helm
helm: 0.6.1 -> 0.8.6
2016-11-01 09:03:53 -04:00
Ioannis Koutras 09465c9f7a syncthing-inotify: fix building on darwin 2016-11-01 14:54:21 +02:00
Ioannis Koutras 5f60295b02 syncthing-inotify: 0.8.3 -> 0.8.4 2016-11-01 12:32:22 +02:00
Peter Hoeg 9cd790cffc dropbox: 12.4.22 -> 13.4.21 2016-11-01 14:09:35 +08:00
Bart Brouns 067e3dcbf1 yoshimi: 1.3.8.2 -> 1.4.1 2016-11-01 02:57:27 +01:00
Bart Brouns 3d5a6763e1 synthv1: 0.7.1 -> 0.7.6 2016-11-01 02:56:18 +01:00
Bart Brouns a1e0dea396 swh_lvs: git 2013-05-17 -> 1.0.16 2016-11-01 02:54:25 +01:00
Bart Brouns 2515a9e6b7 samplv1: 0.7.1 -> 0.7.6 2016-11-01 02:52:20 +01:00
Bart Brouns d4b6b1c108 eq10q: 2.0 -> 2.1 2016-11-01 02:51:01 +01:00
Bart Brouns db1a7523b4 drumkv1: 0.7.1 -> 0.7.6 2016-11-01 02:48:20 +01:00
Bart Brouns a2886e779e drumgizmo: 0.9.10 -> 0.9.11 2016-11-01 02:46:39 +01:00
Bart Brouns 26686a4f9b helm: 0.6.1 -> 0.8.6 2016-11-01 02:28:34 +01:00
Bart Brouns 0d16b3fe59 guitarix: 0.35.1 -> 0.35.2 2016-11-01 02:20:46 +01:00
Bart Brouns 2d62522c53 ardour5: add dummy backend, so Ardour Session Utilities get built 2016-11-01 02:10:35 +01:00
Bart Brouns d525f2062f audacity: add jack and lv2 capabilities 2016-11-01 02:03:41 +01:00
Michael Alan Dorman aa1572e741 melpa-packages: 2016-10-31
renamed:
 - cssfmt -> stylefmt
 - git-blame -> git-blamed

removed from melpa:
 - colorsarenice-theme
 - marmalade
 - org-pandoc
 - stekene-theme

repository unavailable:
 - matrix-client
2016-10-31 20:21:59 -04:00
Michael Alan Dorman 3a8f4624d7 melpa-stable-packages: 2016-10-31
removed from melpa:
 - colorsarenice-theme
 - marmalade
 - stekene-theme
2016-10-31 20:21:58 -04:00
Michael Alan Dorman b4f7993618 org-packages: 2016-10-31 2016-10-31 20:21:58 -04:00
Michael Alan Dorman d9e1651911 elpa-packages: 2016-10-31 2016-10-31 20:21:58 -04:00
Joachim F d0ba0b4769 Merge pull request #20030 from rnhmjoj/imv
imv: 2.1.2 -> 2.1.3
2016-11-01 00:37:30 +01:00
Ioannis Koutras b850914355 skrooge2: 2.4.0 -> 2.5.0 2016-11-01 00:33:35 +02:00
Yochai Meir f9f7461ed3 texstudio: 2.11.0 -> 2.11.2 2016-10-31 23:40:18 +02:00
rnhmjoj 9aeb730822
imv: 2.1.2 -> 2.1.3 2016-10-31 22:12:04 +01:00
zraexy e675b2c0de streamlink: 1.14.0-rc1 -> 0.0.2
Update streamlink to 0.0.2
1.14.0-rc1 was not an official release
2016-10-31 20:07:49 +02:00
Stefan Siegl 682c4c40a4 idea.phpstorm: 2016.2.1 -> 2016.2.2 2016-10-31 17:49:44 +01:00
Stefan Siegl bca319d58d idea.ruby-mine: 2016.2.4 -> 2016.2.5 2016-10-31 17:47:50 +01:00
Frederik Rietdijk a01d7d131e mercurial: use mkPythonDerivation
since we don't want to use `--prefix PYTHONPATH` since it leaks
PYTHONPATH.
2016-10-31 16:54:33 +01:00
Franz Pletz aa2b8d25d6 Merge pull request #19931 from mguentner/ipfs_update
ipfs: i20160112 -> 0.4.4, fetchgx
2016-10-31 14:42:05 +01:00
vbgl 7f241baaaf Merge pull request #19902 from dtzWill/update/yices
yices: 2.3.1 -> 2.5.1
2016-10-31 09:35:21 +01:00
Rok Garbas c27c1b2696
neovim-qt: 0.2.1 -> 0.2.3 2016-10-30 23:06:59 +01:00
Will Dietz 0443affe17 yices: Add darwin to meta.platforms 2016-10-30 13:38:07 -05:00
Joachim F 1573858d37 Merge pull request #19993 from 2chilled/master
pyload change: another patch for missing templates
2016-10-30 19:15:05 +01:00
Joachim Fasting ba252821b1 Revert "pyload: fix setupPyPatch hash"
This reverts commit 60bd86e279.

I missed this https://github.com/NixOS/nixpkgs/pull/19993, sorry
2016-10-30 19:12:50 +01:00
Joachim Fasting bd7a3575d7 Revert "pyload: add missing parameter"
This reverts commit 9ac269b76f.

Ach, I missed https://github.com/NixOS/nixpkgs/pull/19993 which seems
to fix the same issue.
2016-10-30 19:12:20 +01:00
Joachim Fasting 60bd86e279
pyload: fix setupPyPatch hash
Seeing as this never built, this hash mismatch is probably due to a
packaging bug (i.e., having a file with that has in local store, before
switching to a different fetcher).  The patch itself looks okay to me.
2016-10-30 19:07:55 +01:00
Joachim Fasting 9ac269b76f
pyload: add missing parameter
Ref a22c990e33
2016-10-30 19:07:39 +01:00
Ambroz Bizjak de98c8d791 kdevelop: 5.0.0 -> 5.0.2 2016-10-30 18:50:55 +01:00
Bart Brouns 6c9e8efadc x42-plugins: 20160619 -> 20160825 2016-10-30 18:00:51 +01:00
AndersonTorres 1f978a50a8 cherrytree: 0.37.1 -> 0.37.6 2016-10-30 13:15:02 -02:00
sternenseemann e2372502d3 netcat: make netcat-openbsd the default netcat (#19411)
The motivation for this change is the following: As gnu-netcat,
e. g. does not support ipv6, it is not suitable as default netcat.

This commit also fixes all obvious build issues caused by this change.
2016-10-30 15:06:04 +01:00
Bart Brouns 6ac9046acf qmidinet: 0.2.1 -> 0.4.1 2016-10-30 13:30:04 +01:00
Matthias Herrmann e89c247d1b pyload change: another patch for missing templates 2016-10-30 13:13:46 +01:00
Tim Steinbach d8e6f48eee Merge pull request #19978 from k0ral/nixos-unstable
mercurial, tortoisehg: 3.9.1 -> 3.9.2
2016-10-29 17:14:45 -04:00
koral c9ba92c317 tortoisehg: 3.9.1 -> 3.9.2 2016-10-29 23:09:55 +02:00
koral fc3eec69a0 mercurial: 3.9.1 -> 3.9.2 2016-10-29 23:03:30 +02:00
Jascha Geerds f3ef08c6c8 emacsPackages.cask: 0.7.4 -> 0.8.1 2016-10-29 22:51:23 +02:00
Jascha Geerds e789ba3d09 nano: 2.7.0 -> 2.7.1 2016-10-29 22:43:27 +02:00
Jascha Geerds 33397d6f59 nano: Add myself as a maintainer 2016-10-29 22:43:27 +02:00
Rok Garbas 2002469c7b neovim: 0.1.5 -> 0.1.6
also neovim-libvterm update: 2015-11-06 -> 2016-10-07
2016-10-29 22:35:50 +02:00
Dmitry Kalinkin 9434ec5441
root: fix environment setup
1) s/envHook/postHook/
2) patch to not set $p that fixes nested ```nix-shell -p root``` calls
2016-10-29 14:47:32 -04:00
Frederik Rietdijk ac75b9b263 Merge pull request #19833 from 2chilled/master
pyload: init at stable
2016-10-29 19:14:08 +02:00
Matthias Herrmann a22c990e33 pyload: init at 0.4.9-next 2016-10-29 18:46:10 +02:00
Jascha Geerds 6de23f466b gitAndTools.gitflow: 1.10.0 -> 1.10.2 2016-10-29 15:59:07 +02:00
Jörg Thalheim 9466713496 Merge pull request #19968 from jluttine/yadm-to-1.05
yadm: 1.04 -> 1.05
2016-10-29 15:58:10 +02:00
Jascha Geerds bdf5c0ba75 hexchat: 2.12.2 -> 2.12.3 2016-10-29 15:53:06 +02:00
Gabriel Ebner c2169369f0 khal: 0.8.2 -> 0.8.4 2016-10-29 08:58:30 -04:00
Jaakko Luttinen 6d5b96482a yadm: 1.04 -> 1.05 2016-10-29 15:40:02 +03:00
Joachim F e6df5614a9 Merge pull request #19959 from groxxda/tnef
tnef: remove duplicate file
2016-10-29 13:46:23 +02:00
Alexander Ried 03457629cf tnef: remove duplicate file 2016-10-29 07:25:49 +02:00
Hans-Christian Esperer fa4167c0a1 openmpt123: Add libsndfile and flac as dependencies (#19904) 2016-10-29 05:38:51 +02:00
Franz Pletz f9c65a97f8
ipfs: use fetchgx 2016-10-29 05:19:41 +02:00
Joachim Fasting 15d81fe30a
electrum: 2.7.9 -> 2.7.11 2016-10-29 03:04:12 +02:00
Robert Helgesson 268568a74a
eclipses: use HTTPS download URLs 2016-10-28 23:05:09 +02:00
Christine Koppelt 162c65fc87
nodejs-0_10: remove
node.js 0.10 reaches end of LTS in a few days (see https://github.com/nodejs/LTS for details). Therefore I removed it and set 3 dependant packages to broken as they don't build anymore
2016-10-28 07:43:04 -04:00
Maximilian Güntner 24e4d4d76a ipfs: i20160112 -> 0.4.4
- switched from rev to official release
- added preBuild to install gx dependencies
- removed broken flag

Signed-off-by: Maximilian Güntner <code@klandest.in>
2016-10-27 18:46:40 +02:00
Tim Steinbach 282532e702
docker: 1.12.2 -> 1.12.3 2016-10-27 12:46:04 -04:00
Ertugrul Söylemez 9c8f6fb4fb pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable". 2016-10-27 14:48:03 +02:00
Joachim F 126cc0b222 Merge pull request #19922 from romildo/upd.jwm
jwm: 1548 -> 1563
2016-10-27 13:04:49 +02:00
Michael Raskin f9f23084d9 pari_alpha: fix source link 2016-10-27 12:17:16 +02:00
romildo 167e4b351a jwm: 1548 -> 1563 2016-10-27 07:52:23 -02:00
Graham Christensen 5465da610d Merge pull request #19887 from grahamc/vbox
virtualbox: 5.1.6 -> 5.1.8 for many CVEs:
2016-10-26 22:18:25 -04:00
Graham Christensen 69e8bac9cd
virtualbox: 5.1.6 -> 5.1.8 for many CVEs:
From LWN:
From the NVD entries:

CVE-2016-5501: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect confidentiality,
integrity, and availability via vectors related to Core, a different
vulnerability than CVE-2016-5538.

CVE-2016-5538: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect confidentiality,
integrity, and availability via vectors related to Core, a different
vulnerability than CVE-2016-5501.

CVE-2016-5605: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.1.4 in Oracle Virtualization allows remote
attackers to affect confidentiality and integrity via vectors related
to VRDE.

CVE-2016-5608: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect availability via vectors
related to Core, a different vulnerability than CVE-2016-5613.

CVE-2016-5610: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect confidentiality,
integrity, and availability via vectors related to Core.

CVE-2016-5611: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect confidentiality via
vectors related to Core.

CVE-2016-5613: Unspecified vulnerability in the Oracle VM VirtualBox
component before 5.0.28 and 5.1.x before 5.1.8 in Oracle
Virtualization allows local users to affect availability via vectors
related to Core, a different vulnerability than CVE-2016-5608.
2016-10-26 22:18:00 -04:00
Graham Christensen a2123cc9ed Merge pull request #19912 from taku0/flashplayer-11.2.202.643
flashplayer: 11.2.202.637 -> 11.2.202.643 [Critical security fix]
2016-10-26 22:06:13 -04:00
Will Dietz 3cf27a654a yices: Build in parallel, run tests, fix test shebang. 2016-10-26 13:01:21 -05:00
Will Dietz 8584ec97ed yices: fix install target by using 'true' as ldconfig 2016-10-26 12:59:34 -05:00
Will Dietz 1f89121551 yices: 2.3.1 -> 2.5.1 2016-10-26 12:59:06 -05:00
Franz Pletz 4634e69866
chirp: 0.4.1 -> 20161018
Upstream recommends to use the automated daily builds:

    http://chirp.danplanet.com/projects/chirp/wiki/Download
2016-10-26 17:15:20 +02:00
Eelco Dolstra 9db03c1cf1 thunderbird: 45.3.0 -> 45.4.0 2016-10-26 15:32:39 +02:00
Jascha Geerds 8855d6b3ca terraform: 0.7.6 -> 0.7.7 2016-10-26 14:41:04 +02:00
Jascha Geerds 231d9737df terraform: Add myself as a maintainer 2016-10-26 14:34:19 +02:00
taku0 d19b53f851 flashplayer: 11.2.202.637 -> 11.2.202.643 2016-10-26 21:13:57 +09:00
Frederik Rietdijk 7077a270bf Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-26 13:06:43 +02:00
Jascha Geerds 2273849a85 keepassx2: 2.0.2 -> 2.0.3 2016-10-26 12:35:58 +02:00
Michael Raskin 28aa92de64 maxima: support building with ECL; optionally support building maxima.fas when building with ECL 2016-10-26 11:06:41 +02:00
Michael Raskin 36804c75e4 singular: Wrap executables instead of symlinking
This way config scripts can fidn out their own location
2016-10-26 11:06:40 +02:00
Michael Raskin 2bed05d8e1 singular: add an option to install as libsingular 2016-10-26 11:06:40 +02:00
Michael Raskin 8e9ad9bfdc pari_alpha: use perl to generate function descriptions 2016-10-26 11:06:40 +02:00
Michael Raskin 5af1b7ad02 singular: 3-1-2 -> 3-1-7 2016-10-26 11:06:39 +02:00
Michael Raskin 93bea1ecb0 R: 3.2.3 -> 3.2.4 2016-10-26 11:06:37 +02:00
Michael Raskin 5f418b75d6 nauty: init at 26r7 2016-10-26 11:06:36 +02:00
Michael Raskin a67a50895c gfan: init at 0.5 2016-10-26 11:06:36 +02:00