Format: 1.8
Date: Thu, 01 Dec 2016 23:06:16 +0100
Source: maria
Binary: maria maria-doc
Architecture: arm64
Version: 1.3.5-4.1
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-015.buildd>
Changed-By: Sebastian Ramacher <sramacher@debian.org>
Description:
 maria      - reachability analyzer for Algebraic System Nets
 maria-doc  - documentation of Maria
Closes: 822055
Changes:
 maria (1.3.5-4.1) unstable; urgency=medium
 .
   * Non-maintainer upload.
 .
   [ Santiago Vila ]
   * Add build-arch and build-indep targets. (Closes: #822055)
Checksums-Sha1:
 cffb74d867fc593cac54148bab1b06c29b952999 1642724 maria-dbgsym_1.3.5-4.1_arm64.ddeb
 ef0e3cd34ebfaa4c92c5c5226b7c065e2001937b 323548 maria_1.3.5-4.1_arm64.deb
Checksums-Sha256:
 c3e8e5585b94a287b587f437cedac3befcae7d017595a6742a4fa253424e1179 1642724 maria-dbgsym_1.3.5-4.1_arm64.ddeb
 b79241890ca01d77dd0e056eb237d2692d3f5c7283c83a81f607a485d2510e9f 323548 maria_1.3.5-4.1_arm64.deb
Files:
 5ccdb81d88a44f357551f7341ae186a5 1642724 math extra maria-dbgsym_1.3.5-4.1_arm64.ddeb
 676b1b5e5b91becf649f1e539be96b02 323548 math extra maria_1.3.5-4.1_arm64.deb