summaryrefslogtreecommitdiff
tag namedebian/5.2.3-1 (e32c6311e3319a3128e03c54a5faf68b91a1bd93)
tag date2019-08-22 04:38:25 +0200
tagged byStéphane Glondu <glondu@debian.org>
tagged objectcommit 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-----