Publishing details

• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

maria (1.3.5-4.1) unstable; urgency=medium

  * Non-maintainer upload.

  [ Santiago Vila ]
  * Add build-arch and build-indep targets. (Closes: #822055)

 -- Sebastian Ramacher <email address hidden>  Thu, 01 Dec 2016 23:06:16 +0100

Builds

Built packages

• maria reachability analyzer for Algebraic System Nets

• maria-dbgsym debug symbols for package maria

• maria-doc documentation of Maria

Package files

• maria-dbgsym_1.3.5-4.1_amd64.ddeb (1.6 MiB)
• maria-dbgsym_1.3.5-4.1_arm64.ddeb (1.6 MiB)
• maria-dbgsym_1.3.5-4.1_armhf.ddeb (1.5 MiB)
• maria-dbgsym_1.3.5-4.1_i386.ddeb (1.4 MiB)
• maria-dbgsym_1.3.5-4.1_powerpc.ddeb (1.5 MiB)
• maria-dbgsym_1.3.5-4.1_ppc64el.ddeb (1.6 MiB)
• maria-dbgsym_1.3.5-4.1_s390x.ddeb (1.5 MiB)
• maria-doc_1.3.5-4.1_all.deb (128.8 KiB)
• maria_1.3.5-4.1.debian.tar.xz (7.5 KiB)
• maria_1.3.5-4.1.dsc (2.0 KiB)
• maria_1.3.5-4.1_amd64.deb (402.1 KiB)
• maria_1.3.5-4.1_arm64.deb (316.0 KiB)
• maria_1.3.5-4.1_armhf.deb (308.4 KiB)
• maria_1.3.5-4.1_i386.deb (398.3 KiB)
• maria_1.3.5-4.1_powerpc.deb (316.2 KiB)
• maria_1.3.5-4.1_ppc64el.deb (346.0 KiB)
• maria_1.3.5-4.1_s390x.deb (371.2 KiB)
• maria_1.3.5.orig.tar.gz (580.8 KiB)