architecture: all component: main package: libghc-presburger-doc priority: optional section: doc srcpkg_name: haskell-presburger srcpkg_version: 1.3.1-11 version: 1.3.1-11