summaryrefslogtreecommitdiff
path: root/math/hs-semigroupoids
AgeCommit message (Expand)AuthorFilesLines
2020-05-11hs-*: add PLIST filesrillig1-0/+99
2020-01-03Import semigroupoids-5.3.4 from wippho4-0/+69
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 07:28:59 +0000