Skip to content

Tags: obsidiansystems/dependent-sum-template

Tags

v0.2.0.2

Toggle v0.2.0.2's commit message
Release 0.2.0.2

v0.2.0.1

Toggle v0.2.0.1's commit message
Bump version number and add change log entry for new release

v0.2.0.0

Toggle v0.2.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #6 from obsidiansystems/aa/th-218

 Compatibility with template-haskell 2.18-2.20; Drop ghc 9.2 and 9.4

v0.1.2.0

Toggle v0.1.2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #3 from obsidiansystems/develop

Release 0.1.2.0

v0.1.1.1

Toggle v0.1.1.1's commit message
Fix date in change log

v0.1.1.0-r1

Toggle v0.1.1.0-r1's commit message
dependent-sum-template: add lowerbound for th-abstraction

Language.Haskell.TH.Datatype.TyVarBndr was introduced in th-abstraction-0.4.0.0
So build fails with th-abstraction-0.3

v0.1.1.0

Toggle v0.1.1.0's commit message
Update dependent-sum-template cabal file to 1.10

This is required by hackage

v0.1.0.3

Toggle v0.1.0.3's commit message
dependent-sum-template 0.1.0.3

v0.1.0.2

Toggle v0.1.0.2's commit message
dependent-sum 0.6.2.2 / dependent-sem-template 0.1.0.2

hackage-0.0.0.6

Toggle hackage-0.0.0.6's commit message
Bump version to 0.0.0.6