Back to maria PTS page

Accepted maria 1.3.5-4.1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 01 Dec 2016 23:06:16 +0100
Source: maria
Binary: maria maria-doc
Architecture: source
Version: 1.3.5-4.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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:
 27140178b4869fe2e6a5a4dbd2242451688d7b01 2056 maria_1.3.5-4.1.dsc
 52078af5c8eac1be0c21a3f19e512d04cf0a6fad 7660 maria_1.3.5-4.1.debian.tar.xz
Checksums-Sha256:
 75506dae44b470b1ebbf5943ddb74c662d0d3f5d0b9f6dde6af2e541887be562 2056 maria_1.3.5-4.1.dsc
 c0891e4138356719982a128ae2b52b626119907177232a725612a5e3dc7d7a76 7660 maria_1.3.5-4.1.debian.tar.xz
Files:
 3a676186cc826425d66d96425d6bbe81 2056 science extra maria_1.3.5-4.1.dsc
 27e779c321fe0a946253dd0d0398d704 7660 science extra maria_1.3.5-4.1.debian.tar.xz

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

iQIzBAEBCAAdFiEE94y6B4F7sUmhHTOQafL8UW6nGZMFAlhAn00ACgkQafL8UW6n
GZNlDQ/9G8jaKns0P44Sat52kKzVIgWvGVo7jrgihK7kp6Mgogu2AEGWd194/HfI
SKzVs1/NS+Ax0F/JrdaqBX/M6KOZQtJbgg7TixV+jqqFS9DKPZIY0jsz15tXhuUB
tLq9lOOrnnPgH36PMDcvc/BjykauKs8sSKzxIK4zWsMHt89/b3ZYvM0HUdH0IL4W
JVeUrGJNpiWgGiKi1mm1dN+XxTKKU8nNivt15mgBBQXVpE8aullNvyQYeJIF4toO
Ju5uYHqiXBaNmynEDq/MNkdvtBuBItbkSTI8ju7XkOGGDmfdaMwz5b55yc7jLpzR
94VsymZ1ulMfpn5iMP3IzJmRlo2xx6ywxwqEruZbz7+smZK2fLKiEo3553B5LLl7
ilViHpInCsJ03hkU2V0uH+YU9ZSfEy9d9oHFKxyz60JiQXFjBTy/FmyCL0mzjke2
GEuQWmLNNcm2Ur1IioG+WRjWMRFeI0fmwtOBE3Y2hErhxLS2k4ojCrMWEVM7YthY
dH+9/QetnU6wE1S3akZj6YPunUCr7ZiuvxlF2tS62gxUZnM0xZ4BD5j4b/vr+GP1
P5NpBNtz9UtRkJEVbkGaASnNJz9X/udp2Qn3oYi5FKucTry4Rr6Jt/ohAq3gufEF
IM7FtNSg8Dx3R7p82AVOK/AENRBhP8M1qw4YmEgnIr/Oid4pvZc=
=IKRk
-----END PGP SIGNATURE-----