ghc-presburger
No description set
- Sources inherited from project openSUSE:Leap:15.0
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:15.0:Ports/ghc-presburger && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| ghc-presburger.changes | 0000000350 350 Bytes | |
| ghc-presburger.spec | 0000002282 2.23 KB | |
| presburger-1.3.1.tar.gz | 0000010794 10.5 KB | |
| presburger.cabal | 0000000944 944 Bytes |
Latest Revision
Yuchen Lin (maxlin_factory)
accepted
request 550059
from
Yuchen Lin (maxlin_factory)
(revision 1)
Automated submission of a package from openSUSE:Factory to openSUSE:Leap:15.0 that was included in openSUSE:Leap:42.3
Comments 0