Michael Raskin
9d124b1c70
Fix DrGeo build
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24762
2010-11-19 04:07:34 +00:00
Lluís Batlle i Rossell
8746de3ae8
Updating from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Peter Simons
a09b681e3e
pkgs/applications/science/math/maxima: fixed location of "info" and "man" directories
...
svn path=/nixpkgs/trunk/; revision=24605
2010-11-05 14:35:37 +00:00
Marco Maggesi
0430167083
Update Coq
...
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
Marco Maggesi
078587a846
Update HOL Light
...
svn path=/nixpkgs/trunk/; revision=24591
2010-11-03 22:20:05 +00:00
Lluís Batlle i Rossell
f4f84af4ab
Updating from trunk. I only had to take away the usual stdenv2 in
...
all-packages.nix
svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00
Lluís Batlle i Rossell
0cb7f90cac
Adding caneda
...
svn path=/nixpkgs/trunk/; revision=24450
2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell
227c632d18
Adding qucs
...
svn path=/nixpkgs/trunk/; revision=24449
2010-10-24 17:00:57 +00:00
Lluís Batlle i Rossell
2c5de61327
Updating from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
2010-09-17 19:10:21 +00:00
Marco Maggesi
4e5db40581
Update HOL Light to version 20100820 (rev57 on google code).
...
Also replace the monolitic derivation hol_light_binaries with smaller
derivations. Now the installation works as follows:
# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light
# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp
# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp
svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00
Marco Maggesi
44f2d4439f
Change the name of the coq derivation to coq-devel-8.3pre1
...
i.e., remove the version from the name. Nix has its own mechanism to
prevent a packages to be upgraded. Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).
Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.
svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Marco Maggesi
8ab6f9861c
Add coq-8.3rc1
...
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often
coq releases introduce several incompatibilities. Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.
svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Marco Maggesi
df21c86e08
Improve hol_light:
...
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Lluís Batlle i Rossell
6acc186e0e
Fixing the catalan locale for kicad (it had the wrong encoding written)
...
svn path=/nixpkgs/trunk/; revision=23554
2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2
Fixing kicad so it not only builds, but it also runs and finds the library of components.
...
svn path=/nixpkgs/trunk/; revision=23552
2010-08-31 08:19:28 +00:00
Lluís Batlle i Rossell
cca1cae042
Updating from trunk. I had to do some changes to make it fit.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
2010-08-29 11:09:23 +00:00
Peter Simons
49c437a31e
pkgs/applications/science/math/maxima: use a correct license tag
...
Thanks, Ludovic.
svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Peter Simons
098b763939
pkgs/applications/science/logic/prover9: fixed trivial syntax error
...
svn path=/nixpkgs/trunk/; revision=23453
2010-08-26 12:06:05 +00:00
Peter Simons
2c4c301c9b
pkgs/applications/science/math/wxmaxima: updated to version 0.8.6
...
svn path=/nixpkgs/trunk/; revision=23451
2010-08-26 11:53:17 +00:00
Peter Simons
83ae38861e
pkgs/applications/science/math/maxima: added license tag
...
svn path=/nixpkgs/trunk/; revision=23450
2010-08-26 11:51:10 +00:00
Peter Simons
88b126b9ca
pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows
...
svn path=/nixpkgs/trunk/; revision=23449
2010-08-26 11:49:54 +00:00
Peter Simons
24e71fa8fc
pkgs/applications/science/math/maxima: updated to version 5.22.1
...
svn path=/nixpkgs/trunk/; revision=23448
2010-08-26 11:44:43 +00:00
Peter Simons
403938b004
pkgs/applications/science/logic/prover9: updated homepage and license
...
svn path=/nixpkgs/trunk/; revision=23447
2010-08-26 11:42:41 +00:00
Peter Simons
340d4a6ddd
pkgs/applications/science/logic/prover9: initial version
...
svn path=/nixpkgs/trunk/; revision=23446
2010-08-26 11:37:05 +00:00
Michael Raskin
4f6c18925d
Fix installation for updated E prover release
...
svn path=/nixpkgs/trunk/; revision=23435
2010-08-26 04:34:20 +00:00
Michael Raskin
05c7e81eaa
Move E prover to applications/science/logic
...
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
Peter Simons
970b3402e9
pkgs/applications/science/logic/hol: initial version
...
svn path=/nixpkgs/trunk/; revision=23430
2010-08-25 19:50:24 +00:00
Lluís Batlle i Rossell
689b834242
Updating gtkwave
...
svn path=/nixpkgs/trunk/; revision=23391
2010-08-24 10:00:19 +00:00
Lluís Batlle i Rossell
397a10aba2
Adding Kicad
...
svn path=/nixpkgs/trunk/; revision=23352
2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell
f16353b6f2
Updated from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
2010-08-20 13:41:12 +00:00
Lluís Batlle i Rossell
3a3867869a
Adding tetgen
...
svn path=/nixpkgs/trunk/; revision=23138
2010-08-12 10:59:05 +00:00
Lluís Batlle i Rossell
039b660b5b
Making lynx, yacas and alsa-lib crossbuild
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23130
2010-08-11 20:11:12 +00:00
Lluís Batlle i Rossell
456d3f41ae
Adding a yacas needed patch for it to build
...
svn path=/nixpkgs/trunk/; revision=23077
2010-08-09 22:42:48 +00:00
Lluís Batlle i Rossell
9cba74c95a
Adding 'yacas', a CAS implemented in C++.
...
svn path=/nixpkgs/trunk/; revision=23074
2010-08-09 21:58:21 +00:00
Marco Maggesi
c0f343b752
Update Coq to version 8.2pl2 (patch by roconnor)
...
svn path=/nixpkgs/trunk/; revision=22971
2010-08-05 18:44:42 +00:00
Eelco Dolstra
cc84ac9e84
svn path=/nixpkgs/trunk/; revision=22880
2010-08-02 16:01:55 +00:00
Eelco Dolstra
f1598a8941
* More cleanup.
...
svn path=/nixpkgs/trunk/; revision=22798
2010-07-28 18:01:17 +00:00
Ludovic Courtès
35cbabdab4
ViTE from SVN.
...
svn path=/nixpkgs/trunk/; revision=22696
2010-07-22 09:01:42 +00:00
Michael Raskin
b1eb6c96a8
Update Tulip. Unicode support should be available now.
...
svn path=/nixpkgs/trunk/; revision=22484
2010-07-06 07:25:07 +00:00
Michael Raskin
a10b9e1d3a
Specifying golly license
...
svn path=/nixpkgs/trunk/; revision=22393
2010-06-23 10:02:44 +00:00
Michael Raskin
558251da4a
Adding golly (a cellular automata program)
...
svn path=/nixpkgs/trunk/; revision=22391
2010-06-23 07:41:17 +00:00
Lluís Batlle i Rossell
99a94a777b
Updating ngspice
...
svn path=/nixpkgs/trunk/; revision=22364
2010-06-21 20:34:23 +00:00
Ludovic Courtès
d5c60020df
SimGrid: Enable tracing.
...
svn path=/nixpkgs/trunk/; revision=22314
2010-06-17 17:06:51 +00:00
Ludovic Courtès
ff57c0e21e
Move SimGrid under `science/misc'.
...
svn path=/nixpkgs/trunk/; revision=22312
2010-06-17 17:06:40 +00:00
Ludovic Courtès
3190f9ed6e
Add Visual Trace Explorer (ViTE).
...
svn path=/nixpkgs/trunk/; revision=22311
2010-06-17 17:06:09 +00:00
Ludovic Courtès
5be3acda2d
Add Tulip, a graph visualization framework.
...
svn path=/nixpkgs/trunk/; revision=22264
2010-06-14 18:30:35 +00:00
Lluís Batlle i Rossell
393ab9b252
Fixing an ortography error in the xoscope description.
...
svn path=/nixpkgs/trunk/; revision=22245
2010-06-13 19:32:32 +00:00
Lluís Batlle i Rossell
b1946eec91
Adding xoscope (oscilloscope for the sound card input, among others)
...
svn path=/nixpkgs/trunk/; revision=22242
2010-06-13 10:01:16 +00:00
Lluís Batlle i Rossell
02ea8daffa
Making gtkwave more featured, adding more buildInputs.
...
svn path=/nixpkgs/trunk/; revision=22133
2010-06-03 15:37:02 +00:00
Lluís Batlle i Rossell
8fafef2b8f
Updating gtkwave
...
svn path=/nixpkgs/trunk/; revision=22132
2010-06-03 15:36:57 +00:00