-----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-----
