biology
|
Remove arb and then-orphaned lesstif93
|
2015-05-26 11:46:41 +02:00 |
electronics
|
geda: init at 1.8.2-20130925
|
2015-08-31 15:09:58 -06:00 |
geometry
|
all-packages: Use callPackage where possible
|
2015-09-14 22:27:19 -06:00 |
logic
|
metis-prover: init at 2.3
|
2015-09-21 21:42:20 +02:00 |
math
|
perseus: init at 4-beta
|
2015-09-19 00:56:24 +02:00 |
misc
|
root: fix build by -lX11
|
2015-09-01 08:23:00 +02:00 |
programming/plm
|
Revert "Added K Framework package."
|
2015-08-29 15:38:33 +02:00 |
spyder
|
add myself as maintainer
|
2015-09-09 15:25:49 +02:00 |