philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

106 commits

Author SHA1 Message Date
Michael Raskin 3c452363ce Use a patch to fix make 3.82 build of Coq 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
 2010-11-23 05:54:58 +00:00
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