repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Versions for haskell:copilot-theorem

1 package(s) known

Repository Package name Version Category Maintainer(s)
Fedora Rawhide
development		 ghc-copilot-theorem 4.5.1 Unspecified -