[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted curry-libs 1.0.1-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 03 Feb 2017 09:24:00 +0100
Source: curry-libs
Binary: curry-libs-source
Architecture: source
Version: 1.0.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
 curry-libs-source - Standard libraries of the Curry distributions PAKCS and KiCS2 (so
Changes:
 curry-libs (1.0.1-3) unstable; urgency=medium
 .
   * debian/patches:
     + Cherry-pick 0003-Superfluous-output-of-which-command-suppressed.patch.
       Suppress superfluous output of which command.
Checksums-Sha1:
 6f7e4b3d5ae3a6d91078afba1a492ac6363eef71 2031 curry-libs_1.0.1-3.dsc
 2d2edafab9bcc34843742b1ee0c4232a2aa9d510 5732 curry-libs_1.0.1-3.debian.tar.xz
Checksums-Sha256:
 42667a7b4f6da69b32ba16e2dc16fe42d3dc2fda7b9a9a04faf8cf5144e74366 2031 curry-libs_1.0.1-3.dsc
 84ff6dfb42e672e630331c620bd0824d3e8c51e45844f6620ff965d54bc09a40 5732 curry-libs_1.0.1-3.debian.tar.xz
Files:
 33918f6dbbc54525c44f591519ab2b5a 2031 devel optional curry-libs_1.0.1-3.dsc
 4ab11b60d2b2cc63c5591bec4a165e77 5732 devel optional curry-libs_1.0.1-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYlD4wAAoJEJr0azAldxsxLZUP/29yab9bCd/G7I2QbUN3Pk0C
Pz1+W4wYUyjOPvmsvQKa3lmZheuHLdU/MsGvvF/q2sh7dEdh9Q5XnWqsZCbUP2gz
noFhboyFlqLsXCX0wD4hi1wMrHu4jJ4zPMc4639I034BmPxrWQQ/0zJx51R9G8A8
mWjKd9e6KV66vOy8KnAEJSpkLIknBAQqYT0VTGr1OD3CxKosjsw8UPD5by1aUKXI
euj477Y3UDWptC0co1XAaIMbCerGZhWXmKCZJNGzgxmM8xAAdzLOIQXuPQC2n4Xb
cmFw8ymorBBowgaBB9GZxi9oNsy+sBtNpUStxFkZOlsc/AHaOBQtw6KE771Prbzt
NUZ+GbBSby385TyPUx4L9kG4o9q8ym5DdXD5smXd6xD9fxcBGzqhdRyRG9wV7Utz
gf7pCcyguA72zR9QTQD9FPzWaapr3Zlw7HdHl1+ua+fT3Pcm9ITNN7aGLHYZ1DOw
S1rKmqmqRyg7pZe4pBNL0Q/iCXfLNUd3XV/Q7uu28vUnRZpONmgoqzz+493qxDOw
+QAh5tDcgOGCuqomwGTFHRix1wLKzgQ0+MfhPsncxZ4zhFjyRL0gzbiOE0AdtHUM
1j8uv3+kr1ugQmFFbHeOgq5Er5bPNtpfaOQzDfO0uNV+Hm0t545Ox4+tq5nsme/F
45i6FWJUdHg0KhbCsISN
=bmmH
-----END PGP SIGNATURE-----


Reply to: