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
|
hol_light: add support for camlp5 > 6.12
|
2015-09-23 19:04:51 +02:00 |
math
|
Merge pull request #9917 from FlorentBecker/sage
|
2015-09-30 17:28:36 +02:00 |
misc
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +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 |