summaryrefslogtreecommitdiff
tag namedebian/5.2.1-2 (083a40a50124bba6e011e93924275a811058deea)
tag date2019-08-02 10:23:41 +0200
tagged byStéphane Glondu <glondu@debian.org>
tagged objectcommit b7926e87b4...
ppx-tools-versioned release 5.2.1-2 for unstable (sid)
(maintainer view tag generated by dgit --quilt=gbp) [dgit distro=debian split --quilt=gbp] -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1D80YACgkQIbju8bGJ MIHnPwf+JvyxHlNb0J1R4qs2/Y1xl0ygc6LMxt4rhdtxR+P1j8TnfN1ouVgZlsLj NFhArW2RCvw6aJCbHui9xC5oSnYLNyni/23ed1ZgvKK+ET27YrNaYlqjoCpY0wms 0Y1xZRecKANjVOg8SVgvuP27zDNcQ7iYjVR5/AX5UgrFGRYYv01DtlkkcQO8rLTu Ihyd0qFMhy5WeuK0HeXPWVopXqs98kkiUqY4bPpFtj3NtHyrnMUJ02YVRd+PjT4h 5NmUUXe0YHUlx6qkt9uhwgHBvqszMueEnKeTPCIRUU40XOqcvz79H4W2T8v8ReRR Jo24xIFbZpi786E8yXVDY1pCVMcIDw== =hoZ1 -----END PGP SIGNATURE-----