| tag name | archive/debian/0.17-1 (060505df703abbd5f2a8b1dea9bc9298d8ccb1b3) |
| tag date | 2018-11-23 17:54:52 -0700 |
| tagged by | Sean Whitton <spwhitton@spwhitton.name> |
| tagged object | commit 5aa1c0b7f7... |
agda-stdlib release 0.17-1 for unstable (sid) [dgit]
[dgit distro=debian --deliberately-not-fast-forward]
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlv4oZcACgkQaVt65L8G
YkA0bA/7B7B1xD/cYtfUwHB7XatzXyw8I449E4mB4b4/umam8kYf3BtGWlIgI4nB
Qwq+QUGPUDh3ErhqgGNfK5cqN1NB2dVg2aG0BKNOvLS+A4B49pdPIY6zzccVyMtY
qmTuZN1KfAj3mhW207mKAl/jc/sDC7WfJsJoOIV5X5g6nof0Pzc4tboxYa5XE2/d
W1O+fcrtj/xHDBCVslwSzzzcCrAUQea63q3/3/USZANcPBVpu0c47xfK5rXMFZhV
0i9r8Ueq4vhiY1KUG7ztBfD7HMxnOSEoNuNjNkU37aHCah1wTz6hbgSHatn/+i0k
MZhNpF7mxWHfY5WGA51eFKLjLI8mg/RudKCjSzClN3bQgR87WfLx2A6wJ/TtGRjz
lYE1hiVfBKkL9h205piiBXDJZGV5dSUF8vNkSdykkQ0uGewciGB2t3KPPGjFS8Rs
EPzyCCNny8ftDHuEe+2NmWtEATJeRabxBMm4poiWJMv5v5k0TmInoNqM1zr1yfPi
j/3Qp34xbrcJqw7jEtu1Zl0y5JjevXna/4IfZS5arfXJd4LoBACAeftmeA87YQXJ
cNy1BD5vN1k4g5yVMmqCMUrS/TeXOa4kOLT1FwJyoFCco0CIjh/PaGiPW4fvI2X6
Z81Ql3/1AFXHONCql265iDzkD7nENgP0KRHp+6u5M6oTWXYOJ74=
=LwFx
-----END PGP SIGNATURE-----