Explore projects

Suite to help with Debian (and RPM) packages in Git repositories

Packaging openstack-cluster-installer

Debian package node-glob

Coq library for homotopy type theory

Coq library for big numbers

automated reasoning tool for Coq

Collection of theories and plugins for Coq

Debian linux repository

Coq plugin embedding Elpi

Coq plugin to extract dependencies between Coq objects

Experimental packaging for SINS https://strk.kbt.io/sins/

Stuff to make jenkins.debian.net run

StarPU packaging

aac-tactics packaging

Packaging for the mythtv-status package