[ubuntu/disco-proposed] hol88 2.02.19940316-35build1 (Accepted)
Matthias Klose
doko at ubuntu.com
Tue Jan 15 11:05:13 UTC 2019
hol88 (2.02.19940316-35build1) disco; urgency=medium
* No-change rebuild for readline soname change.
Date: Tue, 15 Jan 2019 10:25:54 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Camm Maguire <camm at debian.org>
https://launchpad.net/ubuntu/+source/hol88/2.02.19940316-35build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 15 Jan 2019 10:25:54 +0000
Source: hol88
Binary: hol88 hol88-source hol88-help hol88-library hol88-library-source hol88-library-help hol88-contrib-source hol88-contrib-help hol88-doc
Architecture: source
Version: 2.02.19940316-35build1
Distribution: disco
Urgency: medium
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
hol88 - Higher Order Logic, system image
hol88-contrib-help - Higher Order Logic, user contributed online help files
hol88-contrib-source - Higher Order Logic, user contributed source
hol88-doc - Documentation for hol88
hol88-help - Higher Order Logic, online help files
hol88-library - Higher Order Logic, binary library modules
hol88-library-help - Higher Order Logic, library online help files
hol88-library-source - Higher Order Logic, library source files
hol88-source - Higher Order Logic, source files
Changes:
hol88 (2.02.19940316-35build1) disco; urgency=medium
.
* No-change rebuild for readline soname change.
Checksums-Sha1:
81dd2b9b73ac65a28014b5356cc5409702b66cc5 2338 hol88_2.02.19940316-35build1.dsc
f7c68358756198626ad081ff7a0858f6acc63c6e 131320 hol88_2.02.19940316-35build1.debian.tar.xz
Checksums-Sha256:
12dce3122b87a497849c1d837c3daf67396d816d4fa524be48c6b1ede2db4195 2338 hol88_2.02.19940316-35build1.dsc
8b3d518650b90a7a78a9c5a17be64dd294db502e34734a47a63e5914ef2b9ca0 131320 hol88_2.02.19940316-35build1.debian.tar.xz
Files:
f3e38cdd42d1e6082d366beea3d0dba1 2338 math optional hol88_2.02.19940316-35build1.dsc
b7e7a88674588acbd110e32ed0a5fdeb 131320 math optional hol88_2.02.19940316-35build1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw9vgoQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9SbHD/46IVe6Uk1Yq+fniUB+xfNg8cH1DKpJWcSe
wDmvYQfld0MjgGU1IHjYxIwiBuE4KalJCrK88b0u52Ig18LUvgpJo0KgOXmM8CcB
WFpVXIITCZqYOCLlZWkXEVFHU/YvcBZimzjunWRIcsfgR7O5eQK5RNeZ/2DzPjdi
EKVeRCpEI7hlQxn0jcSngnGtVcPmfTJwBY6mrNznqso65AKJJB25p2UHDweqpAXp
7M+Tb0nmTskRZWfr3TT1gPfV3swY1O9HUudhZUYUjuZtJMV990zq4xr0Y5Wlrr37
huNperR5h6t5JyAGKwBSlKPbb4dw+uq5mEFc5569dJeFWguuMnxfHbPoqCoqoKib
RZlcnTX+wlK/chUKg1VBfKGj7dfnYrPn/ciAu9tm2rynrP280P5hhUEMq+VbVf7B
STe2pdCuV7lCRynvbleRYVc3nNKhBmuFKH0/rCTw8Jfwe7r5nNqktboo2tr5Tm1H
84KTrTC33g1l/uHxxfZCvT1nVahwWlDnn056Vdel13uZTdZTVzemV3bfvQc/3t+v
+vEcNeiJkyBeOUqvggW0tMkuXhi09Am6QFa1llhQeI4lBNhf1Hrh6r03qPdL2cJ3
cfkAe6f7dgoVNODPwmGdhAgWq1HBCPgcxedP3iw96UqNN/jhnEYIEZ1CBjuHmkGO
LUoj52vQRw==
=IO1T
-----END PGP SIGNATURE-----
More information about the Disco-changes
mailing list