Merge pull request #6979 from djsamperi/patch-1

This commit is contained in:
Alexey Zabelin 2023-05-18 19:27:02 -05:00 committed by GitHub
commit a0067e3ad9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,6 +10,9 @@ cabal-format-version: "3.0"
# Constraints for brand new builds
packages:
"Dominick Samperi <djsamperi@gmail.com> @djsamperi":
- mathlist
"Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
- simple-expr
- inf-backprop