search

locationtech / geotrellis

GeoTrellis is a geographic data processing engine for high performance applications.
http://geotrellis.io
Other
1.33k stars 360 forks source link

Bump circe and shapeless dependencies up #3416

Closed pomadchin closed 2 years ago

pomadchin commented 2 years ago

Overview

pomadchin commented 2 years ago

Superseded by #3452