Accepted rumur 2019.02.04-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 4 Feb 2019 18:46:36 -0800
Source: rumur
Binary: rumur rumur-dbgsym
Architecture: source amd64
Version: 2019.02.04-1
Distribution: unstable
Urgency: medium
Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
Changed-By: Matthew Fernandez <matthew.fernandez@gmail.com>
Description:
rumur - model checker for the Murphi language
Closes: 919220
Changes:
rumur (2019.02.04-1) unstable; urgency=medium
.
* Initial release. Closes: #919220.
Checksums-Sha1:
d448ec7661a6248c69bc9b695cdd918fc0cafd1c 1954 rumur_2019.02.04-1.dsc
5165e25379b1a61cdd6eda80569f0c1ad7573f5a 116580 rumur_2019.02.04.orig.tar.gz
9c288184b727a56a9289bc12dd9269d29be925d3 2636 rumur_2019.02.04-1.debian.tar.xz
d17c64db6fa5316a11d6a38a5ee8ab7158e68384 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb
768f240bb69e501b07a4d89a8039416eecb05ebc 7063 rumur_2019.02.04-1_amd64.buildinfo
8e6eab37d295c4097be167ecf9300812c4de3f32 457784 rumur_2019.02.04-1_amd64.deb
Checksums-Sha256:
797e793d2e4ac072f234a613aad5403149833d657ccc3ef540c4524157334314 1954 rumur_2019.02.04-1.dsc
28ee42bae0d96041f69f4245cd5c4d063d763f0cac9c6481ebd070b77f58328f 116580 rumur_2019.02.04.orig.tar.gz
a4f229208b28480b19551e0ee744c026cc5a5097cfbe28ad5f48fed74d0d354e 2636 rumur_2019.02.04-1.debian.tar.xz
50c0d8988325f99aaeb16fb3264be5ca891636ef2f54b9856fc74008f0686b15 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb
6859959a74a3a6f0e72ae22aae668cca899e8fbb2d543e2e8f9ef7f5563c68ba 7063 rumur_2019.02.04-1_amd64.buildinfo
b193c3e751074ad049f3eb7bfbfb63814adc849fce27bc6142e7264682dc65c2 457784 rumur_2019.02.04-1_amd64.deb
Files:
ba40fe957b87dfacbc58354d75cd7399 1954 devel optional rumur_2019.02.04-1.dsc
f148439bd3cf147e8d243e09e6763f1a 116580 devel optional rumur_2019.02.04.orig.tar.gz
fb7ab922f62ebadf04571095643612d1 2636 devel optional rumur_2019.02.04-1.debian.tar.xz
8e9e83d23efab70cae156e68bce58a56 6188588 debug optional rumur-dbgsym_2019.02.04-1_amd64.deb
bb97f9d4cdad7605c00e5061166c1f8f 7063 devel optional rumur_2019.02.04-1_amd64.buildinfo
64edb2b8660a5a639466608608af6f6f 457784 devel optional rumur_2019.02.04-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEExyA8CpIGcL+U8AuxsB0acqyNyaEFAlxb31kPHGpjY0BkZWJp
YW4ub3JnAAoJELAdGnKsjcmh5sUP/i91y4XA8Eo2jeKVwJJCW2jg/5pIGCky+vWY
o0Y9K/nK85zi5f8TSuWlzNb8hIiAoTIhqr/3sAYOzCplOQXgUJ7OenQ7HQR3AYSz
1qe70u50MxDJDrIUqtzxZkBxVHa/wsTPtqRIjScWMSTiJf1L/bBWeVOxieDLoc8M
dbJPX/edQzSPAAyBXxQ4/CMd+2DXpZ2sgxQsJYMF9dedQ2YkjIZnFhq++M6FCObc
Wrzo86WRwds5SORq8JlTrH+XeIPQ+7qTcTOsFug/3jJg4Zun06TKAOq8c6oEy0Fv
Kdfa2mHcW56RDsqB31VxIJDd6Drf9mfn4Skulidc3l8ad/Ls1RtI+h0aw1+jwNz7
HE+Ogwycx07MNoL10PwL//mjKi69C7vOqETNpg6pcWpR+LqC/k+dUlXeYLk42NkR
eFEZCoRlZAS8+9J1SObL+jO7UQdnZXrAg3qVfVnSXSvyWUcvmqhX0/i6LVmPlAkd
hEfVTLFPwqymyGU5Idvh0tmgzEVNynFXZo3z2GPeidqlEiddZAOIA1SGjnw6dyuk
MtAlzH88acxZEnQ22ypSm/5diOqpWQmbtva9RnjH7Lxm7VLBfeYhZHUj5WIfIhsm
qzoT507cJcxHzy2aZZcNzhxHjhrRiaupIxGcngB5ypjFiQUqiDVqTxVP/g7EUCGn
ehxqjqyb
=5tnl
-----END PGP SIGNATURE-----