summaryrefslogtreecommitdiff
tag namedebian/5.4.0-1 (f23197eece29dda6c5c5b908298577d6318d3d63)
tag date2020-07-25 07:58:18 +0200
tagged byStéphane Glondu <glondu@debian.org>
tagged objectcommit ab49e53f9d...
ppx-tools-versioned release 5.4.0-1 for unstable (sid)
(maintainer view tag generated by dgit --quilt=gbp) [dgit distro=debian split --quilt=gbp] -----BEGIN PGP SIGNATURE----- iQFGBAABCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl8bykcSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBPXwH+QEkKIAnwogwPQfVwlRYux1Ifi9A+7l0 lZtbYBbNt7ZI/jXwvjj20amLGIGSXM8mhjRdZKNwlFMxdQK47WDZez1LLZbYZFvm L7ylVc1LCAh2v8hqQT504dXrixp5QnHxR5UeUEUonZj/Vivdxq6NbjQI7NZuRUqV BQ54wXVK+j0Uxxk4nGfvgn3rT5Xlq7WNBgf9DQ3ErozZbHAmjrlo2A3AUynZDHUe J+xk5ICkY4jpS2RU1UC0EeC7h7FhtoZ6c5eQ5bGvmZH5ck3/hz5kxGaCAwnpBrC7 rWIgqzO4C3ttiTbs6ypk4MNXXd1NtcqpZ5sloQ4+0pBZEyvTRy3rzcs= =0Gv4 -----END PGP SIGNATURE-----