Bjørn Forsman
8095d76a73
spyder: new package
...
Spyder (previously known as Pydee) is a powerful interactive development
environment for the Python language with advanced editing, interactive
testing, debugging and introspection features.
The name Spyder comes from Scientific PYthon Development EnviRonment.
2013-05-05 13:13:45 +02:00
Michael Raskin
e7b491a7e1
Update E prover
2013-04-21 16:30:40 +04:00
Michael Ashton
7b01680d87
kicad: upgrade to stable version 20130325, libraries to r220
...
- changed to require wxWidgets 2.9 -- seems to satisfy requirement for
libgtkprint, even with gtk2
2013-03-31 19:17:02 -07:00
Marco Maggesi
fa2d85fded
Update HOL Light to rev 157
2013-03-25 10:56:57 +01:00
Peter Simons
7df21af242
wxmaxima: don't try to build this package on FreeBSD
2013-03-22 12:53:07 +01:00
Michael Raskin
d5288c7e3a
TPTP had a bugfix without version change
2013-03-09 14:24:45 +04:00
Vladimír Čunát
7421ee673c
qucs: minor update and fix for new gcc
2013-02-24 15:11:19 +01:00
Eelco Dolstra
2aa6f262cb
Merge remote-tracking branch 'origin/master' into stdenv-updates
2013-02-15 13:36:34 +01:00
Marco Maggesi
42a4178c2b
Update HOL Light to revision 155
2013-02-08 15:26:35 +01:00
Marco Maggesi
34411286a6
Update HOL Light to revision 154
2013-02-08 15:20:06 +01:00
Rickard Nilsson
1886d1db6a
Merge remote-tracking branch 'upstream/master' into stdenv-updates
2013-01-20 16:53:21 +01:00
Peter Simons
ff461b0755
maxima: update to version 5.29.1
2013-01-19 02:31:21 +01:00
Peter Simons
c296be5519
stellarium: update to version 0.11.4a
2013-01-19 02:26:03 +01:00
Eelco Dolstra
5bb548d2e4
Merge remote-tracking branch 'origin/master' into stdenv-updates
2013-01-17 14:19:14 +01:00
Eelco Dolstra
f286cc65b1
Fix bad URLs lacking a scheme
2013-01-14 18:26:46 +01:00
Peter Simons
b33ad366a1
Merge branch 'master' into stdenv-updates.
2013-01-11 15:46:10 +01:00
Lluís Batlle i Rossell
430957b020
boinc: fix it; the binaries didn't start.
2013-01-08 23:28:39 +01:00
Lluís Batlle i Rossell
8de96cb04d
boinc: updating to 7.0.44
...
now it builds.
I started to use fetchgit instead of fetchsvn, because the upstream
doc pages talk about git more than svn.
2013-01-08 23:28:39 +01:00
Lluís Batlle i Rossell
b58780c43d
Merge remote-tracking branch 'eelco/master' into stdenv-updates
...
Conflicts:
pkgs/development/compilers/gcc/4.7/default.nix
Trivial solution.
2012-12-28 23:28:16 +01:00
Eelco Dolstra
ab3eeabfed
Rename buildNativeInputs -> nativeBuildInputs
...
Likewise for propagatedBuildNativeInputs, etc. "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
2012-12-28 19:20:09 +01:00
Michael Raskin
b31e6aa794
Merge pull request #231 from RSzibele/master
...
Added Logisim 2.7.1
2012-12-27 06:32:03 -08:00
RSzibele
fcdf685793
Added Logisim-2.7.1.
2012-12-27 16:25:39 +01:00
Michael Raskin
dd6ef6229e
Merge pull request #226 from maggesi/hol_light_updates
...
Update HOL Light (and fix installation)
2012-12-27 05:33:24 -08:00
Peter Simons
591f85f17e
celestia: add version 1.6.1
2012-12-25 11:26:53 +01:00
Marco Maggesi
49e4824b8a
Update HOL Light (and fix installation)
2012-12-23 18:46:09 +01:00
Michael Raskin
1c3434cc16
Update E prover
2012-12-09 00:36:38 +04:00
Michael Raskin
8a1f312621
Update golly
2012-12-04 10:10:28 +04:00
Eelco Dolstra
5553546c21
Remove a bunch of unreferenced files
...
Plus a small number of obsolete packages (like old versions of qemu).
2012-11-29 13:43:37 +01:00
Peter Simons
614c7501bc
Merge pull request #193 from badi/gromacs
...
Add Gromacs
2012-11-28 01:16:17 -08:00
Shea Levy
3b8796ee9d
Fix tarball
2012-11-26 20:31:45 -05:00
Florian Friesdorf
6a17fe1563
fix xoscope - thx archlinux!
2012-11-26 16:07:51 +01:00
Badi' Abdul-Wahid
06c522f739
remove reference to meta.nix
2012-11-23 15:46:49 +01:00
Badi' Abdul-Wahid
cba15c96f6
fix skipped indentation
2012-11-23 15:45:19 +01:00
Badi' Abdul-Wahid
7bdcb521b2
Update based on comments to pull request
2012-11-23 15:29:17 +01:00
Badi' Abdul-Wahid
85a33507ea
Add GROMACS v4.5.5
2012-11-23 03:38:13 +01:00
Peter Simons
0757af1693
qfsm: add version 0.53.0
2012-11-11 20:32:41 +01:00
Mathijs Kwik
5406e02594
tkgate: limit to i686-linux and x86_64-linux to fix channel build
...
powerpc-linux seems to have a problem
http://hydra.nixos.org/build/3315312
2012-11-11 14:12:42 +01:00
Peter Simons
86fa903f6c
tkgate: add versions 1.8.7 and 2.0-b10
2012-11-08 17:30:50 +01:00
Peter Simons
85145941fa
kicad: update homepage URL
2012-10-28 17:27:30 +01:00
Peter Simons
29035e15a4
ng-spice-rework: update to version 24
2012-10-28 17:27:13 +01:00
Peter Simons
a29717f41f
stellarium: update to version 0.11.4
2012-10-19 10:19:41 +02:00
Peter Simons
24ec840736
wxmaxima: update to version 12.09.0
2012-10-19 10:12:31 +02:00
Peter Simons
5c59edb8f4
maxima: update to version 5.28.0
2012-10-19 10:12:31 +02:00
Peter Simons
64556b022b
gravit: update to version 0.5.0
2012-10-10 19:25:42 +02:00
Russell O'Connor
46d9146d64
Update SSReflect to version 1.4
2012-09-10 23:15:54 +02:00
Marco Maggesi
286d068b37
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
Russell O'Connor
525b8015e7
Fixing configure patch for coq 8.3.
2012-08-19 01:11:11 -04:00
Russell O'Connor
eafd2008f1
Correcting filename.
2012-08-19 01:06:15 -04:00
Russell O'Connor
706cbc9318
Update coq to 8.4
2012-08-19 01:01:30 -04:00
Lluís Batlle i Rossell
c88f2ecbcd
gtkwave: updating to 3.3.39
2012-08-10 16:54:00 +02:00
