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 |
|
Peter Simons
|
b8d0aebe51
|
stellarium: update to version 0.11.3
|
2012-08-04 13:00:29 +02:00 |
|