BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
13864 commits 1 branch 0 tags 3.8 GiB
Commit graph

143 commits

Author SHA1 Message Date
Marco Maggesi
a041cad70a Update HOL Light to r89 
svn path=/nixpkgs/trunk/; revision=26916
 2011-04-21 14:39:29 +00:00
Russell O'Connor
3db6f63711 Package for msieve. 
This would be better if gmp-emc were packaged as well.

svn path=/nixpkgs/trunk/; revision=26915
 2011-04-21 12:48:07 +00:00
Michael Raskin
b4faf64bae Update Isabelle to an existing tarball... 
svn path=/nixpkgs/trunk/; revision=26903
 2011-04-20 12:24:34 +00:00
Russell O'Connor
bec1a9c44f update coq to 8.3pl1 
update ssreflect to 1.3pl1

svn path=/nixpkgs/trunk/; revision=26692
 2011-04-05 11:59:25 +00:00
Lluís Batlle i Rossell
df786c07dc Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=26454
 2011-03-22 11:36:58 +00:00
Andres Löh
c2090d1be3 Added JAGS. 
svn path=/nixpkgs/trunk/; revision=26396
 2011-03-17 14:45:36 +00:00
Michael Raskin
662fa0a13b Fix updated maxima build 
svn path=/nixpkgs/trunk/; revision=25799
 2011-02-08 10:35:58 +00:00
Peter Simons
e0d871ba91 maxima: added buildInput 'texinfo' so that the reference documentation can be built 
svn path=/nixpkgs/trunk/; revision=25797
 2011-02-07 17:37:22 +00:00
Peter Simons
7795e5ec24 pkgs/applications/science/math/wxmaxima/default.nix: fixed the sha256 checksum 
svn path=/nixpkgs/trunk/; revision=25796
 2011-02-07 14:49:25 +00:00
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