Sign me up Login

Packages for uploader debian@marcelfourne.de

Older packages

Package Description Version Uploader Needs a sponsor Already in Debian
coqword Coq Library for Machine Words 0.0+git20210804.131bee8-2 (unstable) Marcel Fourné Yes No