lethalman b4824ffc5d Merge pull request #7103 from gebner/verit ... Add veriT, an SMT solver.		2015-03-31 12:31:26 +02:00
..
astronomy	kill libiconvOr*	2015-02-07 20:29:28 -08:00
biology	Fix many package descriptions	2014-08-24 22:31:37 +02:00
chemistry/avogadro
electronics	Updating gtkwave to 3.3.64	2015-02-26 10:36:10 +01:00
geometry	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
logic	Merge pull request #7103 from gebner/verit	2015-03-31 12:31:26 +02:00
math	pcalc: 20120812 -> 20141224	2015-03-24 18:27:42 +01:00
misc	unmaintain a bunch of packages	2015-01-13 22:33:49 +01:00
molecular-dynamics/gromacs	Fix many package descriptions	2014-08-24 22:31:37 +02:00
programming/plm	New package PLM: Programmer's Learning Machine	2015-02-13 16:06:19 +01:00
spyder	Fix many package descriptions	2014-08-24 22:31:37 +02:00