purescript / registry

Registry of PureScript packages and metadata about them
46 stars 14 forks source link

Update dts #425

Closed m-bock closed 12 months ago

m-bock commented 12 months ago
{
  "name": "dts",
  "ref": "v0.3.0",
  "compiler": "0.15.10"
}
pacchettibotti commented 12 months ago

Package source does not have a purs.json file, creating one from your spago.yaml file...

pacchettibotti commented 12 months ago

Verifying package...

pacchettibotti commented 12 months ago

Package is verified! Uploading it to the storage backend...

pacchettibotti commented 12 months ago

Successfully uploaded package to the registry! 🎉 🚀

pacchettibotti commented 12 months ago

Successfully uploaded package docs to Pursuit! 🎉 🚀

pacchettibotti commented 12 months ago

Mirrored registry operation to the legacy registry.