Merge pull request #4404 from 23prime/master

Add new package "oeis2"
This commit is contained in:
Michael Snoyman 2019-03-05 19:51:58 +02:00 committed by GitHub
commit f45ae91f7f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3843,6 +3843,9 @@ packages:
"Jan Path <jan@jpath.de> @janpath":
- smallcheck-series
"Taisuke Hikawa <23.prime.37@gmail.com> @23prime":
- oeis2
"Grandfathered dependencies":
- Boolean
- ChasingBottoms