search

illinois-ceesd / emirge

Environment for MirgeCom
MIT License
4 stars 3 forks source link

version.sh: ignore feinsum, minikanren in conda env #161

Closed matthiasdiener closed 1 year ago

matthiasdiener commented 1 year ago

feinsum has no pypi package. The latest tag of minikanren is not available on pypi, so this package also can't be installed via pip.

Both packages are in the generated requirements.txt, so this should not create issues.

matthiasdiener commented 1 year ago

This is ready for review. The remaining CI error is unrelated.