{"_rev":"10-34f9f2187c0ef5a90db103cdd477592c","time":{"created":"2026-04-09T10:23:04.868Z","modified":"2026-04-09T10:23:07.667Z","0.0.0-dev-202603280606":"2026-03-28T06:10:12.693Z","0.0.0-dev-202603280649":"2026-03-28T06:53:38.124Z","0.0.0-dev-202603281254":"2026-03-28T13:03:11.375Z","0.0.0-dev-202603281859":"2026-03-28T19:07:28.211Z","0.0.1-security":"2026-04-09T09:50:22.025Z","0.0.1-security.0":"2026-04-09T10:06:08.167Z","0.0.1-security.1":"2026-04-09T10:23:05.020Z"},"_id":"dafny","name":"dafny","dist-tags":{"latest":"0.0.1-security.1"},"versions":{"0.0.1-security.1":{"name":"dafny","version":"0.0.1-security.1","description":"security holding package","repository":"npm/security-holder","_id":"dafny@0.0.1-security.1","_integrity":"sha512-xNC5xWqDWUuHd9aFtndl0eV5j0JvSZVhKbozvncXNjbFpo+n5F/56nzV0sNPg2xxaY0XyG2Bq6U08lbzGe/UMQ==","_resolved":"/tmp/tmp-16-OkBG17SPnk3F","_from":"file:/tmp/tmp-16-OkBG17SPnk3F","dist":{"tarball":"https://registry.npmjs.org/dafny/-/dafny-0.0.1-security.1.tgz","integrity":"sha512-xNC5xWqDWUuHd9aFtndl0eV5j0JvSZVhKbozvncXNjbFpo+n5F/56nzV0sNPg2xxaY0XyG2Bq6U08lbzGe/UMQ==","shasum":"d7d315bfff748e51a6677cd65c635da41cc07f09","fileCount":2,"unpackedSize":418,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIF+l0QLp1CYFuWfFk5RNzTfYjdPRss/VM4OXhjtnq+gzAiA3DkDVpCqOmRI98Ry2QiNPtX75plB+uFNFB3lQ16/0Xw=="}]},"_npmUser":{"name":"npm","email":"npm@npmjs.com"},"directories":{},"maintainers":[],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/dafny_0.0.1-security.1_1775730184869_0.8686181933683037"},"_hasShrinkwrap":false}},"maintainers":[],"description":"security holding package","repository":"npm/security-holder","readme":"","readmeFilename":""}