ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-26 12:53:59 +03:00
Code Issues Projects Releases Wiki Activity
11,527 Commits 96 Branches 102 Tags 4.8 GiB
49c437a31e
Commit Graph

87 Commits

Author SHA1 Message Date
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
3a3867869a Adding tetgen 
svn path=/nixpkgs/trunk/; revision=23138
 2010-08-12 10:59:05 +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