manjaro.org needs JavaScript on to function properly
manjaro logo

Searched 15208 packages found 1 for coqide

package
Status
Packages Branches
package
coqide

April 25, 2024

stable8.19.1-1

testing8.19.1-2

unstable8.19.1-2