Bug#609288: E 1.2

Seo Sanghyeon tinuviel at sparcs.kaist.ac.kr
Sat Jan 8 04:55:36 UTC 2011

Previous message: Bug#576712: libmpich2-dev: Lots of compile warnings
Next message: Bug#609287: atlas: may be Debian experimental could get some fresh upstream's unstable release (e.g. 3.9.32)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Source: eprover
Version: 1.0.004-1
Severity: wishlist

Please package E 1.2.

Seo Sanghyeon

Previous message: Bug#576712: libmpich2-dev: Lots of compile warnings
Next message: Bug#609287: atlas: may be Debian experimental could get some fresh upstream's unstable release (e.g. 3.9.32)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list