Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

lib

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

src-cmd

Release 0.5.1 (#35 )

September 12, 2023 06:59

src

Release 0.5.1 (#35 )

September 12, 2023 06:59

test

Release 0.4.5, LTS-8.5, updated copyrights and license

March 13, 2017 13:08

.gitattributes

aligned with new version of clafer 0.3.0.1 (hotfix)

September 12, 2012 20:29

.gitignore

Release 0.5.1 (#35 )

September 12, 2023 06:59

CHANGES.md

Release 0.5.1 (#35 )

September 12, 2023 06:59

LICENSE

Release 0.5.1 (#35 )

September 12, 2023 06:59

Makefile

Release 0.5.1 (#35 )

September 12, 2023 06:59

README.md

Release 0.5.1 (#35 )

September 12, 2023 06:59

Setup.lhs

prep for Hackage

January 23, 2014 23:04

alloyIG.jar

Release 0.5.1 (#35 )

September 12, 2023 06:59

claferIG.cabal

Release 0.5.1 (#35 )

September 12, 2023 06:59

stack.yaml

Release 0.5.1 (#35 )

September 12, 2023 06:59