Format: 1.8
Date: Thu, 14 Mar 2024 02:56:52 +0100
Source: maria
Binary: maria
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.3.5-4.2build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-029.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 maria      - reachability analyzer for Algebraic System Nets
Changes:
 maria (1.3.5-4.2build1) noble; urgency=medium
 .
   * No-change rebuild for readline time64 change.
Checksums-Sha1:
 8840a0704452117c30011b1a92a91ad93019439f 2444388 maria-dbgsym_1.3.5-4.2build1_riscv64.ddeb
 bf21ed9c7a5b71a520cebfdd20647f95f2aac18c 5838 maria_1.3.5-4.2build1_riscv64.buildinfo
 54d1e199d6d7ae859563da4941ee7b415e57f462 433834 maria_1.3.5-4.2build1_riscv64.deb
Checksums-Sha256:
 bc3c2e76f3754d60521d1eb372f1d4a893a04a054424e193c6eb8087315c5454 2444388 maria-dbgsym_1.3.5-4.2build1_riscv64.ddeb
 263ed44e9e66c007577b5b5c5dcf7cc01b94600c53c1e858fb12ae6483b9a6be 5838 maria_1.3.5-4.2build1_riscv64.buildinfo
 40d554beac5446b9eacff980313d373e0f6cc488d4645498a9ef75e60af469bc 433834 maria_1.3.5-4.2build1_riscv64.deb
Files:
 1cb1754d2165826ffdcff6a5629a58de 2444388 debug optional maria-dbgsym_1.3.5-4.2build1_riscv64.ddeb
 4b3eb2afebbbb392bb82e997f5e4f565 5838 science extra maria_1.3.5-4.2build1_riscv64.buildinfo
 1e2c7e5654a38266ba8c3df81ca33ae8 433834 math extra maria_1.3.5-4.2build1_riscv64.deb