git.iko.soy/stackage
on master help sign in
Merge pull request #3639 from Ferdinand-vW/master
dfaad04Jens Petersen
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -42,7 +42,7 @@ packages:
42 - hamtsolo
42 - hamtsolo
43
43
44 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
44 "Ferdinand van Walree <ferdinandvwalree@gmail.com> @Ferdinand-vW":
45− []
45+ - tuple-sop
46 # - sessiontypes # lens 4.16 via diagrams
46 # - sessiontypes # lens 4.16 via diagrams
47 # - sessiontypes-distributed # lens 4.16 via diagrams
47 # - sessiontypes-distributed # lens 4.16 via diagrams
48
48