| tag name | debian/7.4dfsg-3.1 (14b44047c90de6cd5c86e4f3691b88dc6b935c5d) |
| 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/CSLaVt65L8GYkAFAlmEcV0ACgkQaVt65L8G
YkDLsRAAmh13WVnWgvUf8DYKVABtQuffnAPkfOh7vtEgACt2Mv7h24srXpTWE4WT
UPRZaZp6UzEStESw/dzCufy+6MUKv+QN88hHvOMAOpZbjeThUxRrMcXGTKvGWm9e
hvqMF64sD2gNjg70drcT+5s1r4fI0WmFNn4cmiNprhsKAzSBPSY8nq4w6EgbbtsZ
CJPaqwT29egNVndCNuIZEbsbMCYrQHHhcrARKcNX8IVZBoLR6r0jsb6nYKej4HFZ
sNcA4jgkTbQ37RT+hMNNYavbZYgVHqX9LWkV5cAw6O5DG5ZSQgLAhTG5Mjw/vh96
jeC7s3Q2Ho654oxHuZvXE+yynX7bvkdeXR7jU8sONArXfgj6kec8yyQvdz06wC0u
3BBxtQDK4Q5gRHEmXXgqkF6AB2RmHrBMxEJmsVxm3O4ML3v+c03fW5aREaD2kkiI
D0C+NzyMDuje7gGuVkW7s/WKNywGR+5pDASqxu3NjSjRgEIfiClGptdEKhEMI07L
Tg1pFPrfbyxYPWom3rl5jwnNoGa7/F/qIWHRtS3Lgk5WBXNaHfV/4ECYTOI4mLqm
/R0y5Oz/l+lWYHrl8H1HtY0PCa74RAx77eGznsCL2IWjXsauq/lc4s6Ng6t3orhZ
MuOE11882nQhxfxEX2mHWFdc2jV4LKdpi7H2U1pe3PgEXxpXqYQ=
=SJ9l
-----END PGP SIGNATURE-----