Merge pull request #1295 from pharpend/master
Add pharpend/semiring-simple
commit8d297e874919a81fa66d5afd3cd8fdf671d7593b
authorDan Burton <danburton.email@gmail.com>
dateSun 20 Mar 2016, 14:43 (11 years ago)
parent0337d8ffef076a
build-constraints.yaml+1
@@ -1277,6 +1277,7 @@ packages:
12771277 - editor-open
12781278 - exceptional
12791279 - pager
1280+ - semiring-simple
12801281
12811282 "Philipp Hausmann <ph_git@314.ch> @phile314":
12821283 - tasty-silver