Home Explore Help
Sign In
viercc
Repositories Public Activity

viercc commented on issue sheaf/finitary#2

Upgrade finite-typelits to 0.2.0.0

Rebased to the latest commit 03b6041 ("v 2.1.2.0") and force-pushed to resolve merge conflict

7 months ago

viercc pushed to master at viercc/finitary

  • 03b60419db v 2.1.2.0
  • d6de614d05 Fix dependency The compatibility issue existed in typelits-witnesses-0.4.0.0 has been resolved in 0.4.0.1. This commit tightens up the lower bound of dep to typelits-witnesses and removes the overwrite to the patched version of it in cabal.project (which is not available at the distributed tarball)
  • View comparison for these 2 commits »

7 months ago

viercc pushed to upgrade-finite at viercc/finitary

7 months ago

viercc created pull request sheaf/finitary#2

Upgrade finite-typelits to 0.2.0.0

7 months ago

viercc created pull request sheaf/finitary#1

Use typelits-witnesses-0.4.0.1

7 months ago

viercc pushed to upgrade-finite at viercc/finitary

  • 2c296f9899 Upgrade finite-typelits to 0.2.0.0
  • d6de614d05 Fix dependency The compatibility issue existed in typelits-witnesses-0.4.0.0 has been resolved in 0.4.0.1. This commit tightens up the lower bound of dep to typelits-witnesses and removes the overwrite to the patched version of it in cabal.project (which is not available at the distributed tarball)
  • 7376ea540b update bounds
  • 1719bf31c9 Workaround for GHC issue #19345
  • e5c8ab8783 Update flags to 'manual'

7 months ago

viercc created new branch upgrade-finite at viercc/finitary

7 months ago

viercc pushed to dependency-fix at viercc/finitary

  • d6de614d05 Fix dependency The compatibility issue existed in typelits-witnesses-0.4.0.0 has been resolved in 0.4.0.1. This commit tightens up the lower bound of dep to typelits-witnesses and removes the overwrite to the patched version of it in cabal.project (which is not available at the distributed tarball)
  • 7376ea540b update bounds
  • 1719bf31c9 Workaround for GHC issue #19345
  • e5c8ab8783 Update flags to 'manual'
  • b33642015e Fix Down instance (+misc fixes)

7 months ago

viercc created new branch dependency-fix at viercc/finitary

7 months ago

viercc forked a repository to viercc/finitary

7 months ago