[ubuntu/cosmic-proposed] why3 1.0.0-2.1~build1 (Accepted)

[Gianfranco Costamagna]

why3 (1.0.0-2.1~build1) cosmic; urgency=medium

  * Make it syncable again

Date: Fri, 17 Aug 2018 10:01:00 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/why3/1.0.0-2.1~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 17 Aug 2018 10:01:00 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.0.0-2.1~build1
Distribution: cosmic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
 why3-coq   - Coq support for the why3 verification platform
 why3-doc-html - HTML Documentation of the why3 verification platform
 why3-doc-pdf - PDF Documentation of the why3 verification platform
 why3-examples - Examples for the why3 verification platform
Changes:
 why3 (1.0.0-2.1~build1) cosmic; urgency=medium
 .
   * Make it syncable again
Checksums-Sha1:
 f65834df35f679d191a521a247ebd086a100fcc0 2649 why3_1.0.0-2.1~build1.dsc
 f052e02f4f95e2c1940748cc8db31b988e28c0ff 13332 why3_1.0.0-2.1~build1.debian.tar.xz
 1bddadb910c3ded218beeb29b4ec74a85ee330ba 9336 why3_1.0.0-2.1~build1_source.buildinfo
Checksums-Sha256:
 d8001cb4863a4a2257a93d9dae764c347fb41fc723339ac2a4ec74ce3d152c3b 2649 why3_1.0.0-2.1~build1.dsc
 450cb49914b2a2dc68d745e0ab9e0cb70eed0e82b24d08a3027c1d8aa269cd96 13332 why3_1.0.0-2.1~build1.debian.tar.xz
 aa51d98200d229890255de82c663b0b0701d15c9c93d90cb9049f9e918175753 9336 why3_1.0.0-2.1~build1_source.buildinfo
Files:
 667ef5ca161e72b530cbae2b2e7c2613 2649 math optional why3_1.0.0-2.1~build1.dsc
 ac64195a15c65dee7a468df7479f6f6b 13332 math optional why3_1.0.0-2.1~build1.debian.tar.xz
 13320fa310738f137cb5946b0ddb28ca 9336 math optional why3_1.0.0-2.1~build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAlt2gNEACgkQ808JdE6f
Xdmr8w//Q08cwN0jvl0SU3+oN4E+Yb6LhkXPMT7WCOusPTznN1SIu1QGz9icc2cH
qoEf9F4BweXHOsMFjZP2qpWMgkKtZQn2tPj3VxW4N07cwM9sqghn9dT/nmO1a9u6
d3yym0nHuRaZiXxsKhMujH1vChdkMIyJyEL5SXvwU5NqmKpGY1VMQeQ/8pE8pWzl
+EPWUcwAnR6Mcl3/EPCTSvk/9oxAykIXgvrO1raWMoX675ym1tp+JYWk1ZrJ0+cF
rO9ZYl7g18lQVRSljm7m8Bo5vsz32scssEw5PvTGyELOnuuZB6KXhyPXkV080uFJ
36Qn261Ip4dhNHdPaitJAED31pwiWXPhg1KH5MMXiY4qUILSdcA/w+0Ok1LSEYil
CxSoUUXYIwQiA1LctkF1xGHjpYUJQcpq0e6C/Ydk2XlDVdQvktlmiBUhtU2Y+0Wv
DdFUSgy6LDRYxG0E7K22c5ZrbBuPUuWP4BZ0fFWBvhIP1OOounmE50QA+Y5QMY+3
gZadTVGOYLTJSSXf4wfrkETF1nSJVPHYLqPRUflWcwnCPB5FX/U0BfD9Rp69sBwl
e+KsGdLXRwthlg2p7RsswDWMremUsQZ+JF65b9o60dS1asCSb2DG+avroXV/hunp
Q1ZWi3K7KgleAMGRn8Bq+vU/5uoMcM1mRb4TSjwFbp4KsIDQAL4=
=Vg/x
-----END PGP SIGNATURE-----