Resolving dependencies...
Configuring semigroups-0.18.4...
Configuring constrictor-0.1.1.1...
Building semigroups-0.18.4...
Building constrictor-0.1.1.1...
Installed semigroups-0.18.4
Installed constrictor-0.1.1.1
Downloading semirings-0.1.2...
Configuring semirings-0.1.2...
Building semirings-0.1.2...
Installed semirings-0.1.2