Hi, Am Samstag, den 09.01.2010, 20:30 +0000 schrieb Iain Lane: > You know the drill. RFS for this NEW package please. It is a > build-dep > of Agda's standard library. uploaded > (agda-bin still awaits sponsoring — gentle > nudge :) sorry, I wasn’t aware of this. uploaded Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil