Merge pull request #3947 from kosmikus/records-sop

Add records-sop
This commit is contained in:
Dan Burton 2018-09-01 16:33:37 -07:00 committed by GitHub
commit 35a884c859
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1667,6 +1667,7 @@ packages:
"Andres Löh <andres@well-typed.com> @kosmikus":
- generics-sop
- records-sop
"Vivian McPhail <haskell.vivian.mcphail@gmail.com> @amcphail":
- hmatrix-gsl-stats