Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
copilot-3.1
library
base
(>=4.9 && <5)
copilot-c99
(>=3.1 && <3.2)
copilot-core
(>=3.1 && <3.2)
copilot-language
(>=3.1 && <3.2)
copilot-libraries
(>=3.1 && <3.2)
copilot-theorem
(>=3.1 && <3.2)
directory
(>=1.3 && <1.4)
filepath
(>=1.4 && <1.5)
optparse-applicative
(>=0.14 && <0.15)
addmult
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
array
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
cast
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
clock
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
copilot-libraries
(>=3.1 && <3.2)
counter
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
engine
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
heater
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)
copilot-c99
(>=3.1 && <3.2)
voting
base
(>=4.9 && <5)
copilot
(>=3.1 && <3.2)