Commit Graph

184 Commits

Author SHA1 Message Date
Peter Simons
80c344d0cf pkgs/applications/science/math/maxima: fixed the sha256 checksum
svn path=/nixpkgs/trunk/; revision=25795
2011-02-07 14:47:42 +00:00
Peter Simons
0c3dcddbf3 pkgs/applications/science/math/wxmaxima: updated to version 0.8.7
svn path=/nixpkgs/trunk/; revision=25787
2011-02-07 11:35:42 +00:00
Peter Simons
a4cf1b8456 pkgs/applications/science/math/maxima: updated to version 5.23.2
svn path=/nixpkgs/trunk/; revision=25786
2011-02-07 11:35:35 +00:00
Marco Maggesi
436e1d72a7 * Coq: fix compilation of coqide (path to lablgkt)
svn path=/nixpkgs/trunk/; revision=25360
2011-01-03 13:49:15 +00:00
Michael Raskin
e55aa52856 Fix lablgtk reference
svn path=/nixpkgs/trunk/; revision=25341
2011-01-02 17:25:18 +00:00
Russell O'Connor
88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00
Eelco Dolstra
aa6f43149a * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
2010-12-28 16:42:00 +00:00
Marco Maggesi
51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
2010-12-23 19:28:06 +00:00
Eelco Dolstra
c14382cb45 * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
2010-12-21 15:14:33 +00:00
Marco Maggesi
e7accaf8d3 * Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
2010-12-20 10:32:22 +00:00
Ludovic Courtès
e60ba9135a SimGrid 3.5.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
2010-12-17 17:48:12 +00:00
Lluís Batlle i Rossell
ee04ffcb55 Updating from trunk. I resolved simple conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
2010-12-11 12:47:00 +00:00
Michael Raskin
07dd3f074b Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
2010-12-05 19:54:27 +00:00
Michael Raskin
011d71dcb8 Adding PARI/GP
svn path=/nixpkgs/trunk/; revision=24983
2010-12-05 19:11:21 +00:00
Michael Raskin
7768fa0178 Fix installation layout
svn path=/nixpkgs/trunk/; revision=24982
2010-12-05 19:08:32 +00:00
Michael Raskin
5cb3f8b659 Missing Singular files
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +00:00
Michael Raskin
6b8abaa29e Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
2010-12-05 18:22:14 +00:00
Michael Raskin
a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
2010-12-05 17:28:41 +00:00
Michael Raskin
44ac8c5ea1 Adding iProver
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin
86e44e72bf Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin
64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Michael Raskin
c32bd62956 Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Michael Raskin
373fabf1c0 Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
2010-12-01 21:29:20 +00:00
Michael Raskin
b89881d098 Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
2010-12-01 21:25:21 +00:00
Lluís Batlle i Rossell
d71ad68d43 Fixing the verilog URL (contributed by Antonio Vargas)
svn path=/nixpkgs/trunk/; revision=24935
2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell
ab6627ac0e Fix for the verilog package, from Antonio Vargas Gonzalez
svn path=/nixpkgs/trunk/; revision=24934
2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell
0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell
4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
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
Lluís Batlle i Rossell
8fafef2b8f Updating gtkwave
svn path=/nixpkgs/trunk/; revision=22132
2010-06-03 15:36:57 +00:00
Peter Simons
1295493b18 pkgs/applications/science/logic/coq: install coqide libraries
Patch courtesy of Russell O'Connor.

svn path=/nixpkgs/trunk/; revision=21838
2010-05-18 13:40:19 +00:00
Marco Maggesi
afbb01c90d Add expression for Coq 8.3 beta
svn path=/nixpkgs/trunk/; revision=21734
2010-05-11 20:14:46 +00:00
Peter Simons
fd8c6ae43d Moved 'maintainers' attribute into the meta section of the expression.
I've also set the 'platforms' attribute to ensure that Hydra actually
builds these packages. Thanks to Lluís Batlle i Rossell for pointing out
these mistakes.

svn path=/nixpkgs/trunk/; revision=21688
2010-05-09 16:01:44 +00:00
Peter Simons
6b42129c3a pkgs/applications/science/math/wxmaxima: updated to version 0.8.5
svn path=/nixpkgs/trunk/; revision=21603
2010-05-05 10:26:15 +00:00
Peter Simons
2dd70d3ffb pkgs/applications/science/math/maxima: updated to version 5.21.1
svn path=/nixpkgs/trunk/; revision=21602
2010-05-05 10:26:11 +00:00
Peter Simons
425d964e7d pkgs/applications/science/math/maxima: added myself as a maintainer
svn path=/nixpkgs/trunk/; revision=21028
2010-04-12 11:21:38 +00:00
Lluís Batlle i Rossell
d533e31357 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=20825
2010-03-25 15:07:53 +00:00
Marco Maggesi
513d653d68 Add HOL Light and its dependencies.
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light

Some functionalities of HOL Light requires the compiled sources of
OCaml.  For now we provide a new package ocaml_with_sources.  After
this shuold be merged with the current version of OCaml already
present in nixpkgs.


svn path=/nixpkgs/trunk/; revision=20008
2010-02-15 11:00:02 +00:00
Eelco Dolstra
fae05e6328 * Build on GCC 4.4.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19677
2010-01-26 15:27:18 +00:00
Lluís Batlle i Rossell
13733f6f94 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=19591
2010-01-21 09:49:06 +00:00
Peter Simons
a5b5690be7 pkgs/applications/science/math/maxima: updated to version 5.20.1
svn path=/nixpkgs/trunk/; revision=19380
2010-01-12 21:39:23 +00:00
Lluís Batlle i Rossell
4fc8cd8d35 Adding gtkwave, to view waves generated by ghdl.
svn path=/nixpkgs/trunk/; revision=19065
2009-12-21 10:35:50 +00:00
Michael Raskin
1497cacb6e adding libxcursor dependency
svn path=/nixpkgs/trunk/; revision=18930
2009-12-14 00:14:55 +00:00
Michael Raskin
a996d01af9 Adding content. Unfortunately, currently segfaults
svn path=/nixpkgs/trunk/; revision=18927
2009-12-14 00:00:11 +00:00
Marco Maggesi
98aaa4421c Add expression for Isabelle2009
svn path=/nixpkgs/trunk/; revision=18905
2009-12-11 17:00:52 +00:00
Marco Maggesi
c713b0ed67 Preliminary version of package ssreflect
Add expression for ssreflect, an extension to the Coq Proof Assistant.
Still has some clitches (see TODO in default.nix) but is usable anyway.


svn path=/nixpkgs/trunk/; revision=18145
2009-11-05 15:08:12 +00:00
Marco Maggesi
a0207b3dc7 Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
2009-11-02 11:44:27 +00:00
Peter Simons
7fa0d73966 pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes
Note that wxMaxima does *not* have a proper store path to maxima built
into the binary. It relies on $PATH, /etc/wxMaxima.conf, or ~/.wxMaxima
to find the binary.

svn path=/nixpkgs/trunk/; revision=18020
2009-10-29 12:53:22 +00:00
Peter Simons
96a32cffe2 Added wxMaxima version 0.8.3.
svn path=/nixpkgs/trunk/; revision=18015
2009-10-29 11:57:58 +00:00
Peter Simons
5dd3252557 Updated Maxima to version 5.19.2.
svn path=/nixpkgs/trunk/; revision=18014
2009-10-29 11:57:45 +00:00
Sander van der Burg
cdfc752210 Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but it looks cool :-)
svn path=/nixpkgs/trunk/; revision=17054
2009-09-11 14:06:51 +00:00