ghc-presburger
No description set
- Sources inherited from project openSUSE:Leap:42.3
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Leap:42.3:Update/ghc-presburger && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| 1.cabal | 0000000944 944 Bytes | |
| ghc-presburger.changes | 0000000171 171 Bytes | |
| ghc-presburger.spec | 0000002434 2.38 KB | |
| presburger-1.3.1.tar.gz | 0000010794 10.5 KB |
Comments 0