[ubuntu/groovy-proposed] why3 1.3.3-1build1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Mon Oct 5 12:40:59 UTC 2020


why3 (1.3.3-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 05 Oct 2020 14:38:18 +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.3.3-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Oct 2020 14:38:18 +0200
Source: why3
Architecture: source
Version: 1.3.3-1build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 why3 (1.3.3-1build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 50a5c63ebfea2948cb5802bdd3d2e28434578b30 2863 why3_1.3.3-1build1.dsc
 c931e3feb8613fd79abfad7267fe5027737ccc47 18500 why3_1.3.3-1build1.debian.tar.xz
 caed0f8c154d0529d682c0f3fa06261c4e2ec161 7055 why3_1.3.3-1build1_source.buildinfo
Checksums-Sha256:
 955c8be4de997589d6ce68b670220875a7759bab0c06d7b3114633ab68562ebb 2863 why3_1.3.3-1build1.dsc
 39683d09ff51717ed4e180cd993300292e6384f51e8229dd61efcf3a7f2dbe72 18500 why3_1.3.3-1build1.debian.tar.xz
 94279855350470b3573ec82052ff6c322b5f7b2b8681db7ce519f643f582cf72 7055 why3_1.3.3-1build1_source.buildinfo
Files:
 68bea7e384ec13d328498a7c3b910b66 2863 math optional why3_1.3.3-1build1.dsc
 18f96368e7ec9150aca49bd32a5b89bd 18500 math optional why3_1.3.3-1build1.debian.tar.xz
 007ee250505cb6dae97889d995c5ae41 7055 math optional why3_1.3.3-1build1_source.buildinfo


More information about the Groovy-changes mailing list