| tag name | archive/debian/5.4.0-1 (e69b22749366a41663f1cbe5f845a8a164c01758) |
| tag date | 2020-07-25 07:58:18 +0200 |
| tagged by | Stéphane Glondu <glondu@debian.org> |
| tagged object | commit 3a9d3d86b8... |
ppx-tools-versioned release 5.4.0-1 for unstable (sid) [dgit]
[dgit distro=debian split --quilt=gbp]
-----BEGIN PGP SIGNATURE-----
iQFGBAABCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl8bykESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBQY4IAJY5eiqwQOSZfX4tJ+0faVmEZ7n5eSeD
+zLF6zHoOMHq45Y3wrjSgI+bxJGRXEGSxYKfA/MDtoIPnqz3mBpdal6TuVJBD/oy
cLjAKjhbdR6ZLaqZ2McjexpIYbNnLMj3CX7FX0Bh5ogWD0KGjk8wJkZyv4sRu91x
YPO1QQpNI1YBIoVnZ66vQwWprYzWgQ7GFsv7vYfgMC+ql+//17LphOylqduhDyK4
9iIUD5TugOVIGlDf+UpN8CjqmWNkJg7fEiGbPxkYkHfEMUXCzoE/CPHMha2Lnh2o
CYt6GxljAkB7spRL83++0wFEukhcs8mcCmt3BjWakfPB0BG+/ucEZSQ=
=wK/j
-----END PGP SIGNATURE-----