Timo Kaufmann c77d1e5b31 eclib: 20171219 -> 20180710 ... Also includes the necessary sage compatibility patch, borrowed from ArchLinux.		2018-07-15 14:59:28 +02:00
..
default.nix	eclib: 20171219 -> 20180710	2018-07-15 14:59:28 +02:00