astronomy
|
qt5: make qt-5.4.1 default
|
2015-03-24 17:14:56 -05:00 |
biology
|
Remove arb and then-orphaned lesstif93
|
2015-05-26 11:46:41 +02:00 |
electronics
|
nixpkgs: verilator 3.872
|
2015-05-31 17:37:56 -05:00 |
geometry
|
tetgen 1.4.3 -> 1.5.0
|
2015-05-25 13:35:54 +02:00 |
logic
|
Update HOL Light to svn r232 (2015-05-31)
|
2015-06-03 11:17:39 +02:00 |
math
|
Don't use "with licenses;" for single licences
|
2015-05-28 19:20:29 +02:00 |
misc
|
unmaintain a bunch of packages
|
2015-01-13 22:33:49 +01:00 |
programming
|
Fixed some descriptions
|
2015-04-28 10:55:20 +02:00 |