haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-19 09:45:48 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Adds singletons-presburger

Browse Source
This commit is contained in:
Hiromi ISHII 2020-02-09 22:34:34 +09:00 committed by Mihai Maruseac
parent a4114cf9b2
commit 7c19527f19
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -4121,6 +4121,7 @@ packages:
"Hiromi Ishii <konn.jinro@gmail.com> @konn": "Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning - equational-reasoning
- ghc-typelits-presburger - ghc-typelits-presburger
- singletons-presburger
- type-natural - type-natural
- sized - sized