2020-05-14 | Stefan Huber | sci-mathematics/boolector: Fix manifest | tree | commitdiff |
2020-05-14 | Stefan Huber | Add missing metadata.xml | tree | commitdiff |
2015-04-06 | Stefan Huber | Remove sci-mathematics/geogebra | tree | commitdiff |
2015-04-06 | Stefan Huber | Remove sci-mathemtics/cgal | tree | commitdiff |
2014-06-03 | Stefan Huber | small fixes due to repoman | tree | commitdiff |
2013-12-12 | Stefan Huber | Add sci-mathematics/boolector | tree | commitdiff |
2013-12-12 | Stefan Huber | Add sci-mathematics/lingeling | tree | commitdiff |
2013-09-09 | Stefan Huber | Add geogebra-4.1.120.0 | tree | commitdiff |
2013-05-17 | Stefan Huber | Add cgal-4.2 | tree | commitdiff |
2012-03-16 | Stefan Huber | add cgal-4.0 and missing edb-0.9.18 | tree | commitdiff |
2011-11-15 | Stefan Huber | cgal: gmp's useflag nocxx changed to cxx | tree | commitdiff |
2011-10-26 | Stefan Huber | sci-mathematics/cgal: set LDFLAGS="" | tree | commitdiff |
2011-10-06 | Stefan Huber | add cgal-3.9 | tree | commitdiff |
2011-04-20 | Stefan Huber | add sci-mathematics/cgal-3.8 | tree | commitdiff |