Back to rumur PTS page

Accepted rumur 2021.08.28-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 04 Sep 2021 09:11:03 -0700
Source: rumur
Architecture: source
Version: 2021.08.28-1
Distribution: unstable
Urgency: medium
Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
Changed-By: Matthew Fernandez <matthew.fernandez@gmail.com>
Changes:
 rumur (2021.08.28-1) unstable; urgency=medium
 .
   * New upstream release.
 .
   * A new binary, murphi2uclid, is now included.
 .
   * Python build dependency and suggests have been relaxed from 3.6 to 3.4.
Checksums-Sha1:
 eb5bcdb6d724e0a14700e72dc70d60112ae79db4 2037 rumur_2021.08.28-1.dsc
 01f9660cfcb74523a601f4ea01f7e87609976009 313287 rumur_2021.08.28.orig.tar.gz
 e05a977e7633a0309d136f1c820da4679b1a2589 5308 rumur_2021.08.28-1.debian.tar.xz
 e2b9ead04eba3f2cead0428b87fcda241ca71388 6772 rumur_2021.08.28-1_source.buildinfo
Checksums-Sha256:
 560ca0ac817468f2c308c2e91a9c29bc06ac68f3eb3a7bc0dc0f1eac14ec8d17 2037 rumur_2021.08.28-1.dsc
 9904974140f44b3d9ad6e4efadb280a228cf85f00c8a74508d1f5c543855b243 313287 rumur_2021.08.28.orig.tar.gz
 888bf14e7f77fdfc797864f8e9cd93a7070d34f237a6a6ede3d5aba045a2bc06 5308 rumur_2021.08.28-1.debian.tar.xz
 43c911538ac63d71b39770c75fae33ed103363713bccb4988cfd0b0667ef5747 6772 rumur_2021.08.28-1_source.buildinfo
Files:
 f7f3ef66b8593cb57491998aa2c6ad2e 2037 devel optional rumur_2021.08.28-1.dsc
 1c3251c3c4cfe91d845375689fe5dc2c 313287 devel optional rumur_2021.08.28.orig.tar.gz
 f019e532a898181629ebb620cdc83e2b 5308 devel optional rumur_2021.08.28-1.debian.tar.xz
 ffcf0a503b6f39b8155a98b05b50e35a 6772 devel optional rumur_2021.08.28-1_source.buildinfo

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

iQIzBAEBCgAdFiEEkjZVexcMh/iCHArDweDZLphvfH4FAmEzzV0ACgkQweDZLphv
fH6N7RAAifuV3+DGup+5djvsNvUdoPPrIeaKxep5AuoQ/R1RLGQun/X/wDRgtrMy
W0nAL5iMUJ1Gn1f/aRDVsOdm/F7KfXcEJoDeE3qumUUlLDZsclckQct62emuuc4v
n1M/XA+GYbBPG5i1//bCZWvzRmeZdFqb4dpnCYf5Ha322MSxbIrpH+a93/nm/fOm
ew16tQNMlC2BXbBjQunouBr4L5jpe0ed7mABmGmb9HXQBBRzYD8Mf1v6QxQLhCHG
AYGXn9eYSfoxVzhXDSUAL8Ubr8ydlCd0OKfMGjTRwbx7+vP3qOue/VjbIahrcH2Y
3UEBb0bRkcqqzCTwyxuQRZ3ORZL8T648i5/Gi4kGEnW/jPFzgVTYJIBySU97NW98
0KoCX1mZNlQ/Y1zeNKXwP5Gvwd4Kkg6mrz7FNCHTPRURL1e6JLuvWoJRR+O6YHKL
Bs1kM++0tVf0fkhDVA3+qr0d+hd9KcAYYbLS0+xh0VunED5MYTSh6eJYuxTBlne5
dcha6Dk4wsUASPswW2yDwd0VtZP8KoSWiPGy8uaj8UFIDvlVRz2p0yrMmmkMCdBL
oc49NA+0IPVgqcPEl+gv2F2DWQmg24Q9Ocd+bAt8I7nqEff3FVLBvp5lrDceJpH+
Dt+t2fGsfd3qaXuRsozBhTPufzX9EKTUDQt2gaNVWSibMgequG8=
=YH0Z
-----END PGP SIGNATURE-----