Log in / Register

Ubuntu
matita package

Overview
Code
Bugs
Blueprints
Translations
Answers

Branches for Lunar

There are no branches of matita in Ubuntu Lunar in Launchpad.

Branches in other series

Mantic (0 branches)
Lunar (0 branches)
Jammy (0 branches)
Focal (0 branches)
Bionic (0 branches)
Xenial (0 branches)
Trusty (2 branches)

• Take the tour • Read the guide

© 2004 Canonical Ltd. • Terms of use • Data privacy • Contact Launchpad Support • Blog • Careers • System status • 5466644 demo site (Get the code!)