@hackage / smtlib2-debug

Metadata

• Last updated 5 Jan 2017, by HenningGuenther
• License GPL-3.0-only

• Maintained by: guenther@forsyte.at

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/smtlib2-debug who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Documentation
• No source repository

Installation