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 [email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil
