sha512 a8fecc927a12c4559cafbf3f09584467e1ec3ffbacfda6f7172249b2861f54086e20012a93043ac8efbfb1d638e24dcd66e104154de98089c4ea83d48f25579f
package
filename
size
different function
libghc-simple-smt-dev
./usr/share/doc/libghc-simple-smt-dev/changelog.Debian.amd64.gz
242 B
libghc-simple-smt-prof
./usr/share/doc/libghc-simple-smt-prof/changelog.Debian.amd64.gz
242 B
Details about this service
More information:
see wiki
Maintainer: Helmut Grohne <helmut@subdivi.de>
Source: git://git.subdivi.de/~helmut/debian-dedup.git
Bugs reports / Feedback / Patches: to the maintainer