Skip to content
debian/1.3.3-2
default avatar
costamagnagianfranco@yahoo.it
bd3dd90b · Add two upstream patches to fix a build failure with new sphinx-bibtex (Closes: #995603) · 
why3 Debian release 1.3.3-2