purescript / registry

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

Update dts #427

Closed m-bock closed 1 year ago

m-bock commented 1 year ago
{
  "name": "dts",
  "ref": "v1.0.0",
  "compiler": "0.15.10"
}
pacchettibotti commented 1 year ago

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

pacchettibotti commented 1 year ago

Verifying package...

pacchettibotti commented 1 year ago

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

pacchettibotti commented 1 year ago

Successfully uploaded package to the registry! 🎉 🚀

pacchettibotti commented 1 year ago

Successfully uploaded package docs to Pursuit! 🎉 🚀

pacchettibotti commented 1 year ago

Mirrored registry operation to the legacy registry.