| tag name | archive/debian/7.4dfsg-3.1 (55d333bd07b6b263a4db8e4128600d243e681d8c) |
| tag date | 2017-08-03 17:27:43 -0400 |
| tagged by | Sean Whitton <spwhitton@spwhitton.name> |
| tagged object | commit 01623bd257... |
acl2 release 7.4dfsg-3.1 for unstable (sid) [dgit]
[dgit distro=debian]
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlmEcVwACgkQaVt65L8G
YkBdcQ//e5VrPDt8L8Ag9J1NQIO32eDyB8dCDlc3npP79EtFhnM4eozHkq383j+w
zjaEwcw6v559SDDTgF1iJLxTKLxr0V42KPqthjBTawTrvd2llylWLsPrA+fE7+9/
sb4VpRoIkMIxQmnV8MzmfCzxrf/+KJCr43RCU+1girku2s1UOZRlvNf4D99AKurV
3Q2zXSwyJY2WCHgzDFTQA1U7BbYbZEx+Jok+4saE1FAASjlyNpQIgxQxG95Fp7Ll
39FXbvuSA+c67pKKzggT3dI7fOlYtz0MYtFDmXSPJ+phzxS33ptsUoH6sMtr7luE
81Lfhnc7uauaWkAh+l58UoWKNffcYTe7yDWHpAuOBYHgE4ZihJmKjBTyEIiARk4M
glH2TuftfeqMNPgxTkMB4nbOH0Nj/BUIuo40BKoPrpOgwGzHmZYyI93OR+XtwsWD
RtuNn7fDMmnWu8jnGZgG0ZU3jn2iFD14GESxpgdyflzp0aHWTzRtgV2dSrMtY9Ka
rNzPtJBoJUanZ1mpEnGWay9GUQ6CvUwPW6P0rVNJyj1DaYSEytuMM7SK0ntCK/u3
5vPFZXzziSoGxksno1IW3D2bYRZguIpFPrKqoO4hPalqu26seyWzgMz822loYhgc
i+SbfnzK9JDf7XcM9gTo4LPDytbIdfZliZZnKsFd7rUkY7IcuN0=
=MXGb
-----END PGP SIGNATURE-----