mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-20 04:31:52 +00:00
Code Issues Wiki Activity
95433 commits 297 branches 124 tags 6.3 GiB
Commit graph

26510 commits

Author SHA1 Message Date
Tom Hunger 2e3b9a063a heapdict: init at 1.0.0 2016-11-04 10:41:34 +00:00
Frederik Rietdijk 478b777674 Merge pull request #20148 from igsha/bitbucket_api 
pythonPackages.bitbucket_api: fixes #19988
 2016-11-04 10:00:27 +01:00
Igor Sharonov a43f24cb4f pythonPackages.requests_oauth2: refactors dependencies 2016-11-04 11:55:47 +03:00
Igor Sharonov 83c1e8a020 pythonPackages.bitbucket_api: fixes #19988 2016-11-04 11:54:03 +03:00
Frederik Rietdijk c2cea84fac Merge pull request #20134 from nlewo/master 
pythonPackages.datrie: init at 0.7.1
 2016-11-04 09:14:33 +01:00
Tim Steinbach ad43f28e07
Remove Selenium Remote Control 
No longer builds and was a dodgy process anyways
 2016-11-03 22:07:54 -04:00
Tim Steinbach 66bdac04e8
Remove jetty_gwt 2016-11-03 22:02:48 -04:00
Tim Steinbach ac44a1b6aa
Remove jetty_util 2016-11-03 22:02:28 -04:00
Tim Steinbach 6d11e8ed4c
Remove pal2nal 
No longer build/exists
 2016-11-03 21:58:47 -04:00
Tim Steinbach 20c2980640
Remove cryopid 
No longer builds / exists
 2016-11-03 21:43:17 -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 df76eac6c6
Remove mcrl 
Does not build because source no longer exists
 2016-11-03 21:34:28 -04:00
Tim Steinbach 2a22c80000
Remove clanlib 
Does not build, website no longer exists
 2016-11-03 21:19:01 -04:00
Tim Steinbach 4e50480757
Remove abc 
The package does not build and the links are no longer available
 2016-11-03 21:16:29 -04:00
Tim Steinbach d8fc6c75fe
Remove jdt-sdk 
The package is dead, the links no longer available.
 2016-11-03 21:12:39 -04:00
= f14888b2fe reaverwps-t6x: init at 1.5.2 2016-11-03 23:45:14 +02:00
= 5245e4f1c2 pixiewps: init at 1.2.2 2016-11-03 23:45:14 +02:00
Antoine Eiche 8bf8a631b2 pythonPackages.datrie: init at 0.7.1 2016-11-03 20:36:10 +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
Travis Whitaker c491309d61 ghcjs: add ghcsjHEAD, tracking ghc-8.0 branch 
Closes https://github.com/NixOS/nixpkgs/pull/20071.
Closes https://github.com/NixOS/nixpkgs/issues/19905.
 2016-11-03 17:37:19 +01:00
Profpatsch 9ffcb1b250 Merge pull request #20090 from sternenseemann/master 
Add jackline and (updated) ocaml-dependencies
 2016-11-03 16:02:53 +01:00
Bjørn Forsman a6283c1126 devmem2: init at 2004-08-05 
A simple program to read/write from/to any location in memory.

Unfortunately the homepage doesn't have a versioned source code download
URL. On the other hand, the program is pretty stable, with no change for
the last 12 years...
 2016-11-03 15:44:56 +01:00
Nikolay Amiantov 0a876d71cb pythonPackages.jaraco_functools: 1.11 -> 1.15.1 2016-11-03 17:30:36 +03:00
Nikolay Amiantov 662c5095a8 pythonPackages.moreItertools: merge with more-itertools 2016-11-03 17:10:58 +03:00
sternenseemann b0d11b1177 jackline: init at 2016-10-30 2016-11-03 14:39:27 +01:00
sternenseemann 096ec04b82 ocaml-erm_xmpp_0_3: init at 0.3 2016-11-03 14:39:26 +01:00
sternenseemann 9554143a9c ocaml-otr: init at 0.3.3 2016-11-03 14:39:26 +01:00
sternenseemann 02388e9ba5 ocaml-notty: init at 0.1.1 2016-11-03 14:39:22 +01:00
sternenseemann db760a5edc ocaml-astring: init at 0.8.3 2016-11-03 14:34:35 +01:00
sternenseemann d675e0d832 ocaml-tls: init at 0.7.1 2016-11-03 14:34:31 +01:00
sternenseemann d8686b4949 ocaml-nocrypto: 0.5.1 -> 0.5.3 2016-11-03 14:24:47 +01:00
sternenseemann 0c8859fd17 ocaml-ptime: init at 0.8.2 2016-11-03 14:08:18 +01:00
Théo Zimmermann 93fbb947b3 aspcud: fix by updating the dependencies (#20086) 
Depends on gringo but gringo is now maintained as part of the clingo
suite. This commit removes gringo (standalone) and replace it with
the latest version of clingo. This update follows closely the old
derivation for gringo (see 99e06fe).
 2016-11-03 12:14:45 +01:00
Robert Helgesson b6bd555c66
perl-Archive-Cpio: 0.09 -> 0.10 
Also add license field.
 2016-11-03 10:48:36 +01:00
Vincent Demeester 1e2f37e9f4
godef: init at 20160620-ee532b9 
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
 2016-11-03 08:30:49 +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
Tim Steinbach e97e9835dc Merge pull request #20112 from cko/nodejs_7x 
nodejs-7_x: init
 2016-11-02 20:25:22 -04: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
Christine Koppelt c9d27cc3ea nodejs-7_x: init 2016-11-03 00:21:44 +01:00
John Ericson eed34bd214 top-level: Remove redundant arguments from top-level/{all-package,stdenv}.nix 2016-11-02 18:36:02 -04:00
John Ericson 68a04c1195 top-level: Inline topLevelArugments, and make pkg named arg for stdenv 
[Trying my best to indent properly while avoiding excessive drift]
 2016-11-02 18:35:03 -04:00
Robert Helgesson f7e2675ed5
perl-Moo: 2.002003 -> 2.002005 2016-11-02 23:04:27 +01:00
Robert Helgesson bcb0a65f23
perl-Role-Tiny: 2.000003 -> 2.000005 2016-11-02 23:04:27 +01:00
John Ericson 05977b236b top-level: Remove redundant parentheses 2016-11-02 17:38:16 -04:00
John Ericson a113382f2c top-level: Use nixpkgsFun to avoid import ../.. 2016-11-02 21:50:24 +01:00
rbasso fa46c22354 exercism: init at 2.3.0 2016-11-03 03:25:07 +09:00
Vincent Laporte 5f49eeb935 coq: move out of ocamlPackages 2016-11-02 19:23:15 +01:00
Tobias Pflug a5dad8aeeb nodejs: refactor derivations (#19973) 
* refactor and clean up the derivation composition
* add slim variation: the slim variations configure node without npm.
Building node with npm introduces a python runtime depndency through
gyp - slim variation makes sense for building small nodejs production
images
 2016-11-02 17:46:01 +01:00
Rok Garbas 18375a7331
Revert "python: adding a back python27Full" 
This reverts commit 822f480922.

See here for more discussion: 822f480922
 2016-11-02 16:18:22 +01:00
Franz Pletz b806e14a3c
pythonPackages.django_1_8: 1.8.15 -> 1.8.16 
Fixes CVE-2016-9013, CVE-2016-9014.

https://www.djangoproject.com/weblog/2016/nov/01/security-releases/
 2016-11-02 14:23:54 +01:00
Franz Pletz 58ad105cd4
pythonPackages.django_1_9: 1.9.10 -> 1.9.11 
Fixes CVE-2016-9013, CVE-2016-9014.

https://www.djangoproject.com/weblog/2016/nov/01/security-releases/
 2016-11-02 14:23:53 +01:00
Franz Pletz 6ad14d4256
pythonPackages.django_1_10: 1.10.2 -> 1.10.3 
Fixes CVE-2016-9013, CVE-2016-9014.

https://www.djangoproject.com/weblog/2016/nov/01/security-releases/
 2016-11-02 14:23:53 +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
Frederik Rietdijk 1558b09a32 Merge pull request #20019 from lsix/19989-fix-mezzanine-for-python3 
python33Packages.mezzanine Fix
 2016-11-02 13:44:52 +01:00
Bart Brouns 4396ee9536 fmsynth: init at 2015-02-07 2016-11-02 13:42:45 +01:00
Bart Brouns d315ca4080 libjack2-git: 2015-09-03 -> 2016-08-18 2016-11-02 12:51:22 +01:00
Robert Helgesson 68f2bc8fb3
perl-Image-Info: 1.38 -> 1.39 
Fixes information disclosure security issue. See
https://lwn.net/Vulnerabilities/704702/.
 2016-11-02 11:48:06 +01:00
Florent Becker f00e28164b pdfjam: remove obsolete version 
pdfjam is included in texlive
fixes #19826
 2016-11-02 10:30:34 +01:00
Arseniy Seroka 4ae2a59aaa Merge pull request #20060 from jokogr/u/samsung-unified-linux-driver-4.01.17 
samsung-unified-linux-driver: add 4.01.17
 2016-11-02 11:42:47 +03:00
Eelco Dolstra 5926192e55 blender: 2.78 -> 2.78a 2016-11-01 22:52:48 +01:00
Eelco Dolstra 5ecb427368 cudatoolkit: Add 8.0.44 2016-11-01 22:52:26 +01:00
Domen Kožar ec2ca34933 Merge pull request #20022 from teh/altair 
Altair
 2016-11-01 22:15:51 +01:00
Domen Kožar d6247cf560 Merge pull request #20067 from teh/updates-1 
Updates 1
 2016-11-01 22:14:19 +01:00
romildo a25e6bc8db lumina: init at 1.1.0-p1 2016-11-01 17:06:39 -02:00
Tom Hunger a1b80797c4 partd: 0.3.3 -> 0.3.6 2016-11-01 17:40:07 +00:00
Peter Simons fac1168816 callHackage: make 'all-cabal-hashes' repository overridable 
This commit changes callHackage to use a deterministic version of the Hackage
checkout from https://github.com/commercialhaskell/all-cabal-hashes by default.
This means that packages uploaded to Hackage after today will be available to
callHackage only after "pkgs/data/misc/hackage/default.nix" has been updated.

People who want the previous behavior where we always had the latest version of
Hackage available -- at the cost of frequent downloads from Github --, can add
the following override to their "~/.nixpkgs/config.nix" file:

  {
    packageOverrides = super: {
      all-cabal-hashes = builtins.fetchTarball "https://github.com/commercialhaskell/all-cabal-hashes/archive/hackage.tar.gz";
    };
  }
 2016-11-01 18:35:19 +01:00
Ioannis Koutras 270365a1ee samsung-unified-linux-driver: add 4.01.17 2016-11-01 19:19:53 +02:00
Joachim Fasting 0ee7d1ea4e
encfs: 1.8.1 -> 1.9.1 
Packaging changes
- Uses cmake
- Removes depends on rlog and boost, uses tinyxml to parse xml

Note that the encfssh utility is disabled, it requires patching to
work (and didn't work in previous versions of the package, either).
Better to leave it unusable until fixed.
 2016-11-01 15:57:29 +01:00
Dan Peebles 3f61621354 pythonPackages.cached-property: works on Darwin 2016-11-01 10:13:33 -04:00
Tim Steinbach dc04a8e49d Merge pull request #19980 from cko/cleanup_node_packages 
node-packages: update & cleanup
 2016-11-01 09:20:26 -04:00
Daniel Peebles 1fa9d99776 Merge pull request #20046 from copumpkin/omg-test 
Remove obsolete versions of db
 2016-11-01 08:16:55 -04:00
Shea Levy 2dbaf3a336 lksctp-tools: init at 1.0.17 2016-11-01 07:28:41 -04:00
Dan Peebles 50874525d1 db47: remove outdated version 2016-11-01 03:18:01 +00:00
Dan Peebles 89915f8206 db45: remove outdated version 2016-11-01 03:10:13 +00:00
Dan Peebles e41d2a8306 db44: remove outdated version 2016-11-01 03:06:57 +00:00
John Wiegley a12f3d232d
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 2016-10-31 16:22:04 -07:00
Tom Hunger bca7914a44 altair: init at 1.0.0 2016-10-31 17:01:11 +00:00
Tom Hunger 5142165d80 vega: init at 0.4.4 2016-10-31 17:01:10 +00:00
Lancelot SIX 8617a068b8 pythonPackages.mezzanine: Fix template project 
This makes sure that the template project can be used and updated.
Otherzise files copied from the store stay readonly and cannot be
updated during the generation process.
 2016-10-31 16:38:45 +01:00
Lancelot SIX 0f7decd012 pythonPackages.django_1_6: disable for python >= 3.4 
django 1.6 does not support python>=3.4
 2016-10-31 16:38:44 +01:00
Lancelot SIX 830a9bf4fb pythonPackages.filebrowser_safe: disable tests 
The distribution do not seem to include tests, and fails when trying to
run them
 2016-10-31 15:27:25 +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
Edward Tjörnhammar f7ad0c0fd5 Merge pull request #19675 from edwtjo/dictd-touchup 
Dictd touchup
 2016-10-31 13:08:57 +01:00
Rok Garbas 822f480922
python: adding a back python27Full 
to make pypi2nix work with old and new nixpkgs. in future nixos release
we can remove it, but at least one release cycle of deprecation would
be nice.
 2016-10-30 23:08:47 +01:00
Gabriel Ebner 3a962071af Merge pull request #19979 from 8573/8573/pkg/update/rustRegistry/2016-10-29/1 
rustRegistry: 2016-09-29 -> 2016-10-29
 2016-10-30 16:36:19 -04:00
Arseniy Seroka 75374120eb Merge pull request #19881 from matthiasbeyer/add-loc 
loc: init at 0.3.0
 2016-10-30 23:12:41 +03: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
Rok Garbas b65c443276
pythonPackage.tweepy: disabling tests 
tests require access to twitter.com api, fixes #19987
 2016-10-30 14:56:59 +01:00
Christine Koppelt caa10b7233 nodejs: set default to v6 2016-10-30 14:40:48 +01:00
c74d aef020c232 rustRegistry: 2016-09-29 -> 2016-10-29 
Update the `rustRegistry` package from version 2016-09-29, revision
rust-lang/crates.io-index@12dc47026c, to
version 2016-10-29, revision
rust-lang/crates.io-index@623cc0d932.

I have tested this patch per nixpkgs manual section 11.1 ("Making
patches").
 2016-10-29 21:22:43 +00:00
Jude Taylor cff04e5503 pythonPackages: add pip2nix 2016-10-29 13:54:12 -07:00
Rok Garbas a432815fc4 pythonPackages.neovim_gui: 0.1.2 -> 0.1.3 
also pythonPackages.neovim update: 0.1.9 -> 0.1.10
 2016-10-29 22:35:50 +02: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 9431130f4b pycurl: add missing shared library 2016-10-29 18:46:21 +02:00
Matthias Herrmann a22c990e33 pyload: init at 0.4.9-next 2016-10-29 18:46:10 +02:00
Vladimír Čunát 0896dbde46
Merge recent staging 
... to avoid double rebuild due to openldap (thousands of jobs).
 2016-10-29 17:13:51 +02:00
Vladimír Čunát e78ef9cc12
gnumake-3.81: remove 
It doesn't seem to be of any use, except for spitting warnings about md5.
 2016-10-29 15:49:27 +02:00
Vladimír Čunát e9fee02ff9 Merge branch 'master' into staging 2016-10-29 15:25:59 +02:00
Domen Kožar ffc6e46dad Merge pull request #19962 from canndrew/openra-update 
openra: 20160508 -> 20161019
 2016-10-29 15:23:34 +02:00
Frederik Rietdijk 8bb63d11e6 Merge pull request #19964 from f--t/master 
scikit-image: updated version and dependencies
 2016-10-29 14:12:24 +02:00
Frederik Rietdijk 3d5600d8b8 Merge pull request #19866 from guillaumekoenig/fix/add-reno-1.8.0 
reno: init at 1.8.0
 2016-10-29 14:07:45 +02:00
Joachim F ffb5f5a140 Merge pull request #19937 from Ericson2314/rm-dead-guile-tests 
Delete guile-2-test.nix; grep says its dead code
 2016-10-29 13:44:48 +02:00
Guillaume Koenig dd04af4fcc reno: init at 1.8.0 2016-10-29 13:30:18 +02:00
ft 2ad39a5670 updated version and dependencies 2016-10-29 01:17:03 -07:00
Andrew Cann 40cab6182c OpenNAT: init at 2.1.0 2016-10-29 13:28:24 +08:00
Franz Pletz ff04adf871
fetchgx: fetch dependencies with gx and gx-go 2016-10-29 05:17:27 +02:00
Daniel Peebles ed9b30728f Merge pull request #19947 from zimbatm/awscli-1.11.10 
Awscli 1.11.10
 2016-10-28 22:30:50 -04:00
Graham Christensen 55909c32d1 Merge pull request #16286 from kirelagin/gpg2-osx 
Enhance gnupg experience on OS X
 2016-10-28 21:35:37 -04:00
Kirill Elagin 22f2f6e045 gnupg: Use pintenty-mac on Darwin by default 2016-10-29 00:24:56 +03:00
Robert Helgesson 236a32069a
perl-DBIx-Class: remove myself as maintainer 2016-10-28 23:07:50 +02:00
Frederik Rietdijk 9ab271a4be Merge pull request #19952 from igsha/patch 
pythonPackages.patch: init at 1.16
 2016-10-28 20:35:53 +02:00
Jude Taylor 872087a8a6 disable DBIxClass tests again 2016-10-28 11:29:35 -07:00
Igor Sharonov 5d83aaee96 pythonPackages.patch: init at 1.16 2016-10-28 21:21:13 +03:00
Sean Bartell 64b1fe26a7 nc6: remove 
The download sources are gone and the program is obsolete now that
the popular versions of netcat support IPv6. See:
http://www.deepspace6.net/projects/netcat6.html
 2016-10-28 10:54:33 -05: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
Vladimír Čunát f706ab7dbe Merge #19918: mesa: enable intel vulkan driver 2016-10-28 13:20:47 +02:00
Frederik Rietdijk cb2de9354f Merge pull request #19932 from igsha/passlib 
pythonPackages.passlib: 1.6.2 -> 1.6.5
 2016-10-28 12:49:07 +02:00
Matthias Beyer 1176973ab4 loc: init at 0.3.0 2016-10-28 09:45:51 +02:00
Jude Taylor 3cb116f708 qt48: fix eval 2016-10-27 20:28:22 -07:00
John Ericson f4fdec3fc0 Delete guile-2-test.nix, grep says its dead code 2016-10-27 11:04:38 -07:00
Igor Sharonov b846d5198e pythonPackages.passlib: 1.6.2 -> 1.6.5 2016-10-27 19:59:28 +03:00
Frederik Rietdijk 334d8705d5 Merge pull request #19928 from igsha/fasteners 
pythonPackages.fasteners: 0.13.0 -> 0.14.1
 2016-10-27 18:56:50 +02:00
zimbatm 8fbe389fab pythonPackages.boto3: 1.3.1 -> 1.4.1 2016-10-27 17:35:39 +01:00
zimbatm 3e648d1ec6 pythonPackages.awscli: 1.10.51 -> 1.11.10 2016-10-27 17:29:33 +01:00
Igor Sharonov 4383a45fa5 pythonPackages.fasteners: 0.13.0 -> 0.14.1 2016-10-27 19:03:56 +03:00
Ertugrul Söylemez 9c8f6fb4fb pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable". 2016-10-27 14:48:03 +02:00
AbigailBuccaneer 6d4aa25e35 pythonPackages.markdown-macros: init at 0.1.2 2016-10-27 12:11:46 +01:00
Frederik Rietdijk 2728d12210 Merge pull request #19699 from makefu/update/devpi-client 
devpi-client: 2.3.2 -> 2.7.0
 2016-10-27 12:25:11 +02:00
Jörg Thalheim 6e4769ee2d Merge pull request #19888 from Mic92/influxdb 
influxdb: make v1.0.2 default, remove 0.13
 2016-10-27 11:43:27 +02:00
Jörg Thalheim 5f3f810e27
influxdb: make v1.0.2 default, remove 0.13 2016-10-27 11:41:52 +02:00
makefu 63dc801899
devpi-client: 2.3.2 -> 2.7.0 
devpi-common: 2.0.8 -> 3.0.1
 2016-10-27 10:11:53 +02:00
Shea Levy 41d894b87f libiconv: Just include the iconv headers 2016-10-26 22:34:27 -04:00
Charles Strahan ca2b03439f Merge pull request #19496 from Ericson2314/overridePackages 
Make `overridePackages` extend rather than replace existing overrides
 2016-10-26 14:01:13 -04:00
Travis Whitaker 6f1f1d86c1 gcc-arm-embedded: fix ncurses for gdb 2016-10-26 17:49:28 +02:00
Frederik Rietdijk ef9eeb8a2c Revert "all-packages: Remove unnecessary python3 overrides" 
This reverts commit 95b5d8f752.
 2016-10-26 15:42:38 +02:00
Frederik Rietdijk 82cba42dc4 diffoscope: fix evaluation 
In 95b5d8f752 an override was removed, but
not entirely.
 2016-10-26 15:10:44 +02:00
zimbatm 9970b28680 Merge pull request #19799 from vmandela/ruby-zoom 
ruby-zoom: init at 4.1.0
 2016-10-26 13:18:43 +01:00
Venkateswara Rao Mandela 219b9d5086 ruby-zoom: init at 4.1.0 
From the website,

https://gitlab.com/mjwhitta/zoom

Zoom adds some convenience to ag/ack/grep by allowing you to quickly
open your search results in your editor of choice.

Also available as a ruby gem.

https://rubygems.org/gems/ruby-zoom

In addition to including the ruby-zoom tool, we also added a global
override for the ruby-terminfo gem to handle the ncurses build time
dependency.
 2016-10-26 17:26:26 +05:30
Frederik Rietdijk 7077a270bf Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-26 13:06:43 +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 5bdd22bf4e arb-git: init at 2.9.0pre20161013. This ARB version is less annoying to use with FLINT 2016-10-26 11:06:41 +02:00
Michael Raskin bdaff5f256 fplll_20160331: init at 20160331, obviously. The snapshot that Sage seems to like 2016-10-26 11:06:41 +02:00
Michael Raskin 2bed05d8e1 singular: add an option to install as libsingular 2016-10-26 11:06:40 +02:00
Michael Raskin 02fb2e5150 fflas-ffpack_1: init at 1.6.0 2016-10-26 11:06:39 +02:00
Michael Raskin 792026d795 fflas-ffpack: init at 2.2.2 2016-10-26 11:06:39 +02:00
Michael Raskin 516e27c20e givaro_3_7: init at 3.7.2 2016-10-26 11:06:38 +02:00
Michael Raskin 80b8f39a7a givaro_3: init at 3.8.0 2016-10-26 11:06:38 +02:00
Michael Raskin d5547a9409 libgap: init at 4.8.3 2016-10-26 11:06:37 +02:00
Michael Raskin e35a8d52ab iml: init at 1.0.5 2016-10-26 11:06:37 +02:00