openKylin haskell-smtlib package

haskell-smtlib 1.0.9-ok1 source package in openKylin

Changelog

haskell-smtlib (1.0.9-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
any all
Section:
haskell
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-smtlib_1.0.9.orig.tar.gz 9.4 KiB 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6
haskell-smtlib_1.0.9-ok1.debian.tar.xz 1.9 KiB f27f94deb2424f770174eff19f85f34c2c2edb1977826a18019238d04af515ac
haskell-smtlib_1.0.9-ok1.dsc 2.0 KiB ca558f63d88ff6c9b3ecdff3b34c86652fef19539d2439008bdc0ab83f4fdf21

View changes file

Binary packages built by this source

libghc-smtlib-dev: No summary available for libghc-smtlib-dev in openkylin yangtze.

No description available for libghc-smtlib-dev in openkylin yangtze.

libghc-smtlib-doc: No summary available for libghc-smtlib-doc in openkylin yangtze.

No description available for libghc-smtlib-doc in openkylin yangtze.

libghc-smtlib-prof: No summary available for libghc-smtlib-prof in openkylin yangtze.

No description available for libghc-smtlib-prof in openkylin yangtze.