Michael Raskin
|
98878bc5a0
|
Link Golly against libperl and libpython so it finds them in runtime
|
2014-11-10 12:31:29 +03:00 |
|
Mateusz Kowalczyk
|
57a84615c6
|
vite: fix and update package
|
2014-11-09 12:59:51 +00:00 |
|
Vincent Laporte
|
fbbd88017f
|
zarith: propagate build input gmp
|
2014-11-07 09:50:39 +00:00 |
|
Vincent Laporte
|
3d049938c8
|
Adds some “branch” meta-data
|
2014-11-06 19:40:50 +00:00 |
|
Vincent Laporte
|
6e8a9b8145
|
wxmaxima: update from 13.04.2 to 14.09.0
|
2014-11-06 01:41:02 +00:00 |
|
Mateusz Kowalczyk
|
007f80c1d0
|
Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999, issue #739
|
2014-11-06 00:48:16 +00:00 |
|
Joachim Fasting
|
71a443c1b2
|
Add mirrors for sage
|
2014-11-03 23:04:44 +01:00 |
|
Peter Simons
|
b5fed52c43
|
Merge pull request #4238 from wkennington/master.boost
Make boost 156 the default
|
2014-11-03 23:03:01 +01:00 |
|
John Wiegley
|
d4c3e454a2
|
coq_HEAD: update to latest commit
|
2014-11-03 15:27:32 -06:00 |
|
John Wiegley
|
2b9e43b513
|
coq: 8.4pl4 -> 8.4pl5
|
2014-11-03 10:49:38 -06:00 |
|
Peter Simons
|
109f19d749
|
Merge pull request #4788 from joachifm/sage
sage fixes
|
2014-11-03 11:16:56 +01:00 |
|
William A. Kennington III
|
aa3e800be7
|
boost: Remove boost.lib
|
2014-11-02 17:22:27 -08:00 |
|
Joachim Fasting
|
6f7822ddda
|
sage: fix download url for version 6.1.1
|
2014-11-02 20:55:08 +01:00 |
|
Joachim Fasting
|
82ec13eaa3
|
sage: fix meta information
Correct homagepage, description, and license.
|
2014-11-02 20:55:02 +01:00 |
|
Peter Simons
|
ead6bc4a57
|
R: run the test suite only when recommended packages are built
|
2014-11-01 21:08:05 +01:00 |
|
Peter Simons
|
12e26d47b7
|
R: update to version R-3.1.2
|
2014-11-01 13:43:48 +01:00 |
|
Lluís Batlle i Rossell
|
f7f7a0d0f4
|
Updating qucs to 0.18
Patch by 'emery' on irc.
|
2014-10-29 10:29:53 +01:00 |
|
Jiri Marsik
|
ceba23605c
|
Added acgtk-1.1
|
2014-10-28 14:06:21 +01:00 |
|
Jaka Hudoklin
|
42da129d34
|
Merge pull request #4456 from robberer/pkgs/fritzing
fritzing: add version 0.9.0b
|
2014-10-12 22:58:45 +02:00 |
|
Vincent Laporte
|
fe1d8d0015
|
cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.
Homepage: http://cvc4.cs.nyu.edu/web/
|
2014-10-12 16:21:02 +02:00 |
|
Vincent Laporte
|
531b44562a
|
why3: update from 0.83 to 0.85
|
2014-10-12 16:21:02 +02:00 |
|
Domen Kožar
|
b4a7c1a6e2
|
xplanet: fix giflib update
|
2014-10-11 19:53:18 +02:00 |
|
Vincent Laporte
|
9d5be8a757
|
maxima: update from 5.33.0 to 5.34.1
|
2014-10-10 21:55:16 +01:00 |
|
Longrin Wischnewski
|
56a2f589b8
|
fritzing: add version 0.9.0b
- An open source prototyping tool for Arduino-based projects
|
2014-10-10 12:43:39 +02:00 |
|
John Wiegley
|
e73aefcf93
|
coq_HEAD: Update
|
2014-10-09 14:52:35 -05:00 |
|
Peter Simons
|
8ee5bd585f
|
haskell-sloane: update to version 1.9.3
This version supports the latest optparse-applicative.
|
2014-10-06 11:21:39 +02:00 |
|
Mateusz Kowalczyk
|
3d26ea99dc
|
Merge pull request #4342 from vbgl/camlp5-6.12
Camlp5: update to 6.12; hol-light: update to r199
|
2014-10-03 18:36:06 +01:00 |
|
John Wiegley
|
10e215a3ae
|
isabelle: Version 2014 building on Linux and Darwin
|
2014-09-30 23:15:31 -05:00 |
|
Vincent Laporte
|
c260abbff8
|
hol_light: update to r199
And adds compatibility with camlp5-6.12
|
2014-10-01 00:44:15 +01:00 |
|
John Wiegley
|
57b292fb1b
|
isabelle: Another Linux hash change?
|
2014-09-30 16:44:15 -05:00 |
|
John Wiegley
|
5a7ce1185b
|
isabelle: Remove Linux patches (is this correct?)
|
2014-09-30 16:41:47 -05:00 |
|
John Wiegley
|
8d9cd1557b
|
isabelle: Correct the 2014 sha value for Linux
|
2014-09-30 16:15:34 -05:00 |
|
John Wiegley
|
db690f28a3
|
isabelle: 2013 -> 2014, plus add darwin support
|
2014-09-30 12:57:30 -05:00 |
|
Mateusz Kowalczyk
|
ce4ae2aa1e
|
Merge pull request #4305 from vbgl/coq-containers
Working with Coq
|
2014-09-30 15:04:30 +01:00 |
|
Mateusz Kowalczyk
|
9440f55ef8
|
gtkwave: update from 3.3.61 to 3.3.62
cc @viric
|
2014-09-30 11:04:26 +01:00 |
|
Vincent Laporte
|
f3b8d82ce6
|
Removes duplicate ssreflect
|
2014-09-28 14:03:15 +01:00 |
|
Vincent Laporte
|
fde68228d9
|
coq: setup-hook for libraries
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in
lib/coq/${coq-version}/user-contrib/
|
2014-09-28 14:03:14 +01:00 |
|
Michael Raskin
|
9ae10b2cac
|
Update golly
|
2014-09-24 14:07:00 +04:00 |
|
Michael Raskin
|
50e55fd793
|
Update PARI
|
2014-09-24 13:32:46 +04:00 |
|
John Wiegley
|
4eedbfd786
|
coq_HEAD: update to latest Git HEAD
|
2014-09-23 13:19:51 -05:00 |
|
William A. Kennington III
|
31220480d8
|
boost: Update depdendent packages
|
2014-09-21 17:20:59 -07:00 |
|
Peter Simons
|
ee4a606cdf
|
Merge pull request #4165 from ftrvxmtrx/pcalc
added pcalc package
|
2014-09-19 14:42:07 +02:00 |
|
Siarhei Zirukin
|
00298c7bba
|
added pcalc package
|
2014-09-19 13:31:52 +02:00 |
|
Peter Simons
|
2a54f52b22
|
coq_HEAD: Revert "update to latest Git version"
This reverts commit bf009f87a9. The update
breaks the build.
|
2014-09-19 12:29:07 +02:00 |
|
Aristid Breitkreuz
|
6fc7efa7b3
|
add mathematica 10 (slightly borked but runs)
|
2014-09-17 23:25:35 +02:00 |
|
Marco Maggesi
|
6110679bee
|
Update hol_light to r198. Add myself as a maintainer
|
2014-09-16 16:55:56 +02:00 |
|
John Wiegley
|
10afb382b7
|
ott: 0.25 new expression
|
2014-09-15 21:50:07 +01:00 |
|
Peter Simons
|
b9f7f19820
|
R: Revert update to version 3.1.1
This reverts commit 6e803a684f. The new version
fails its test suite [1]. The issue has been reported upstream [2].
[1] http://hydra.cryp.to/build/191457/nixlog/1/raw
[2] https://bugs.r-project.org/bugzilla/show_bug.cgi?id=15975
|
2014-09-13 20:03:44 +02:00 |
|
Pascal Wittmann
|
8d67b9a240
|
transformed meta.maintainers of some packages into lists
|
2014-09-13 13:52:02 +02:00 |
|
Peter Simons
|
6e803a684f
|
R: update to version 3.1.1
|
2014-09-12 15:20:06 +02:00 |
|