tag name | debian/5.2.3-1 (e32c6311e3319a3128e03c54a5faf68b91a1bd93) |
tag date | 2019-08-22 04:38:25 +0200 |
tagged by | Stéphane Glondu <glondu@debian.org> |
tagged object | commit 4a1c2031d4... |
ppx-tools-versioned release 5.2.3-1 for unstable (sid)
(maintainer view tag generated by dgit --quilt=gbp)
[dgit distro=debian split --quilt=gbp]
-----BEGIN PGP SIGNATURE-----
iQFGBAABCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1eAmwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB2owH/3qu5Vmc1HKaoOAt3bqTKhJRd/TgdBzx
/pzXqrCTXb7395UjqA/4AJ4oSqgBCxuxMIMIf0iQYAjJdGMVBCj8f98CHhORidO7
y1iYmWwa9Hc5v/3pAYDazkoT88YmFHnSxTHB25SxXBsEcHRcJUUcVxtfzJtA5PDj
OiXFL+LTx7LTX/oW3rOvytVfHSz9Ew+m4EGN8uzSC7QHfLAZffea5+qD+SOLrv16
/KvT95ULWA1qpfAW2AtXla9o3Hr/H0sMbdwnGi6mFhSS81/OEkFL7a7Mka1DzLjl
kGSaApBLsmbdg+br6Izn9Bzrm5Vp4pt6iD/uRxOqOBuk1kadolr+8Hw=
=7+Va
-----END PGP SIGNATURE-----