ghc-presburger

Edit Package ghc-presburger
No description set
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
Ismail Dönmez's avatar Ismail Dönmez (namtrac) committed (revision 2)
osc copypac from project:openSUSE:Leap:15.0 package:ghc-presburger revision:1
Comments 0
openSUSE Build Service is sponsored by