Peter Simons
86fa903f6c
tkgate: add versions 1.8.7 and 2.0-b10
2012-11-08 17:30:50 +01:00
Peter Simons
85145941fa
kicad: update homepage URL
2012-10-28 17:27:30 +01:00
Peter Simons
29035e15a4
ng-spice-rework: update to version 24
2012-10-28 17:27:13 +01:00
Peter Simons
a29717f41f
stellarium: update to version 0.11.4
2012-10-19 10:19:41 +02:00
Peter Simons
24ec840736
wxmaxima: update to version 12.09.0
2012-10-19 10:12:31 +02:00
Peter Simons
5c59edb8f4
maxima: update to version 5.28.0
2012-10-19 10:12:31 +02:00
Peter Simons
64556b022b
gravit: update to version 0.5.0
2012-10-10 19:25:42 +02:00
Russell O'Connor
46d9146d64
Update SSReflect to version 1.4
2012-09-10 23:15:54 +02:00
Marco Maggesi
286d068b37
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
Russell O'Connor
525b8015e7
Fixing configure patch for coq 8.3.
2012-08-19 01:11:11 -04:00
Russell O'Connor
eafd2008f1
Correcting filename.
2012-08-19 01:06:15 -04:00
Russell O'Connor
706cbc9318
Update coq to 8.4
2012-08-19 01:01:30 -04:00
Lluís Batlle i Rossell
c88f2ecbcd
gtkwave: updating to 3.3.39
2012-08-10 16:54:00 +02:00
Peter Simons
b8d0aebe51
stellarium: update to version 0.11.3
2012-08-04 13:00:29 +02:00
Shea Levy
c5c41832f0
Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgs
...
Update tptp to 5.4
It builds, and the change is a simple version+hash update.
2012-07-07 20:36:15 -04:00
Peter Simons
55ea7dc453
wxmaxima: update to version 12.04.0
2012-07-07 22:20:18 +02:00
Peter Simons
0c107996d3
maxima: update to version 5.27.0
2012-07-07 22:20:18 +02:00
Michael Raskin
2331ea4ec2
TPTP: update to 5.4.0
2012-07-07 20:32:48 +04:00
Yury G. Kudryashov
3640b0c1e9
Add GiNaC
...
svn path=/nixpkgs/trunk/; revision=34403
2012-06-09 13:09:41 +00:00
Marco Maggesi
5ca0b381e0
Update HOL Light to rev 141
...
svn path=/nixpkgs/trunk/; revision=34290
2012-05-30 20:53:13 +00:00
Russell O'Connor
dace27b4c4
Revert accidentaly patch of ssreflect.
...
svn path=/nixpkgs/trunk/; revision=34264
2012-05-28 20:57:54 +00:00
Russell O'Connor
417a07a0e9
Updatings ssreflect to depend on camlp5 version 6.
...
svn path=/nixpkgs/trunk/; revision=34263
2012-05-28 20:53:17 +00:00
Russell O'Connor
f02a71103a
add support to make building coqide optional.
...
svn path=/nixpkgs/trunk/; revision=34262
2012-05-28 19:45:14 +00:00
Russell O'Connor
cfc8538326
Updating coq and ssreflect to patch level 4.
...
svn path=/nixpkgs/trunk/; revision=34146
2012-05-16 22:04:02 +00:00
Eelco Dolstra
bf2d945a02
* Disable some failing builds on specific platforms.
...
svn path=/nixpkgs/trunk/; revision=34033
2012-05-09 21:10:12 +00:00
Marco Maggesi
2cef87022c
Update HOL Light to r134
...
svn path=/nixpkgs/trunk/; revision=33992
2012-05-05 16:46:53 +00:00
Michael Raskin
304facbf3b
Adding LCI lambda calculus interpreter
...
svn path=/nixpkgs/trunk/; revision=33962
2012-05-01 05:07:39 +00:00
Michael Raskin
dd3ef46cac
Update TPTP
...
svn path=/nixpkgs/trunk/; revision=33754
2012-04-12 07:23:52 +00:00
Michael Raskin
6bc87a1ac8
Add packages to GAP
...
svn path=/nixpkgs/trunk/; revision=33601
2012-04-05 04:46:11 +00:00
Peter Simons
fd8c16adb8
stellarium: updated to version 0.11.2
...
svn path=/nixpkgs/trunk/; revision=33538
2012-04-02 15:19:05 +00:00
Russell O'Connor
bba264d897
Adding forgotten configure_130312 patch for matitia.
...
svn path=/nixpkgs/trunk/; revision=33433
2012-03-26 19:11:25 +00:00
Russell O'Connor
ec5dda12d2
Reparing stable build of Matita.
...
Also correcting the version and simplifying the prerelease package of Matita.
svn path=/nixpkgs/trunk/; revision=33420
2012-03-25 21:27:30 +00:00
Russell O'Connor
510308e039
Adding a package for a preview release of Matita.
...
svn path=/nixpkgs/trunk/; revision=33418
2012-03-25 20:43:00 +00:00
Russell O'Connor
f9a5fa373e
Upgrading HOL4 to version k.7.
...
svn path=/nixpkgs/trunk/; revision=33306
2012-03-20 19:11:22 +00:00
Marco Maggesi
dba8b32385
Update HOL Light to rev 128
...
svn path=/nixpkgs/trunk/; revision=33196
2012-03-17 16:36:36 +00:00
Marco Maggesi
699de0f3f9
Fix building of Coq and update to version 8.3pl3. (Forgot to save files)
...
svn path=/nixpkgs/trunk/; revision=33195
2012-03-17 16:30:23 +00:00
Marco Maggesi
af37461b11
Fix building of Coq and update to version 8.3pl3.
...
svn path=/nixpkgs/trunk/; revision=33194
2012-03-17 16:26:20 +00:00
Yury G. Kudryashov
75207a6a90
Try to update slr
...
Still fails to build because atlas doesn't provide full blas.
svn path=/nixpkgs/trunk/; revision=33164
2012-03-16 17:15:52 +00:00
Michael Raskin
7c0d7abdd7
Adding GAP discrete algebra system
...
svn path=/nixpkgs/trunk/; revision=32908
2012-03-08 18:23:47 +00:00
Yury G. Kudryashov
0210e20b5a
svn merge ^/nixpkgs/trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
2012-03-01 07:04:39 +00:00
Michael Raskin
e6fa414b64
Update and fix Tulip
...
svn path=/nixpkgs/trunk/; revision=32613
2012-02-27 07:10:05 +00:00
Lluís Batlle i Rossell
b7f1724543
Gtkwave needs the xz libraries to build.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32601
2012-02-26 21:02:03 +00:00
Yury G. Kudryashov
313a029f16
svn merge ^/nixpkgs/trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32396
2012-02-19 11:16:24 +00:00
Yury G. Kudryashov
26f5bdfde1
xplanet: pass netpbm, edit meta
...
svn path=/nixpkgs/trunk/; revision=32390
2012-02-19 09:22:20 +00:00
Yury G. Kudryashov
045d0a3ea0
xplanet-1.2.2; builds with libpng-1.5
...
svn path=/nixpkgs/trunk/; revision=32389
2012-02-19 09:22:14 +00:00
Eelco Dolstra
9b4b40f053
* Caneda: fix the version number.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32361
2012-02-17 18:04:27 +00:00
Yury G. Kudryashov
e446dee4c3
Backport r32353 from stdenv-udpates
...
* Get rid of Qt 4.6. It doesn't compile with GCC 4.6. There was only
one application still using it (Caneda), but upgrading it allowed it
to build with Qt 4.7.
Eelco, could you please fix the date in caneda version?
svn path=/nixpkgs/trunk/; revision=32359
2012-02-17 17:40:58 +00:00
Eelco Dolstra
31ebc5d950
* Get rid of Qt 4.6. It doesn't compile with GCC 4.6. There was only
...
one application still using it (Caneda), but upgrading it allowed it
to build with Qt 4.7.
svn path=/nixpkgs/branches/stdenv-updates/; revision=32353
2012-02-17 14:34:42 +00:00
Yury G. Kudryashov
5144a19987
svn merge ^/nixpkgs/trunk
...
There were a few merge conflicts due to ensureDir->mkdir -p migration
svn path=/nixpkgs/branches/stdenv-updates/; revision=32174
2012-02-10 10:24:30 +00:00
Peter Simons
1a7d345aab
wxmaxima: updated to version 12.01.0
...
svn path=/nixpkgs/trunk/; revision=32158
2012-02-09 13:22:57 +00:00