Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:debian/eprover | 1 Development | 2009-07-21 05:25:36 UTC |
2.
* Initial Debian release.
Closes: #...
Author:
Petr Pudlak
* Initial Debian release. |
1 → 1 of 1 result | First • Previous • Next • Last |