manjaro.org needs JavaScript on to function properly
manjaro logo

Searched 15142 packages found 1 for coqide

package
Status
Packages Branches
package
coqide

October 01, 2023

stable8.16.1-1

testing8.16.1-1

unstable8.16.1-1