45486,45652d
37008a
Package: libcoq-micromega-plugin
Source: rocq-micromega-plugin
Version: 1.1.0-1
Installed-Size: 21104
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: arm64
Provides: libcoq-micromega-plugin-rx9f6
Recommends: coq
Description: Semi-decision procedures for arithmetic in Rocq
Homepage: https://github.com/rocq-community/micromega-plugin
Description-md5: 36db3b2040d28472cc18759033991246
Section: math
Priority: optional
Filename: pool/main/r/rocq-micromega-plugin/libcoq-micromega-plugin_1.1.0-1_arm64.deb
Size: 4143796
MD5sum: ce66fe669c0e2a02762481cbb5a7c354
SHA256: 37ba0113ca0fdbc53f7ed3877f9cfd0ab062b2db906623c8e5e9d1e155f4c79a

.
28472a

Package: ntfsprogs-plus
Version: 1.0.0-1
Installed-Size: 2756
Maintainer: Alex Myczko <tar@debian.org>
Architecture: arm64
Depends: libc6 (>= 2.38), libuuid1 (>= 2.16)
Description: NTFS filesystem userspace utilities
Homepage: https://github.com/ntfsprogs-plus/ntfsprogs-plus
Description-md5: 6652659fad0f66603a6f7ce1a800cacd
Section: utils
Priority: optional
Filename: pool/main/n/ntfsprogs-plus/ntfsprogs-plus_1.0.0-1_arm64.deb
Size: 360512
MD5sum: cfecba31ccefbf5db3ebd24357d70984
SHA256: 713ac9f6c907b7e3c35bf642340ea13f47ef899970ed83e4f20e81ef7466eb66

Package: ntfsprogs-plus
Version: 1.0.0-2
Installed-Size: 2756
Maintainer: Alex Myczko <tar@debian.org>
Architecture: arm64
Depends: libc6 (>= 2.38)
Description: NTFS filesystem userspace utilities
Homepage: https://github.com/ntfsprogs-plus/ntfsprogs-plus
Description-md5: 6652659fad0f66603a6f7ce1a800cacd
Section: utils
Priority: optional
Filename: pool/main/n/ntfsprogs-plus/ntfsprogs-plus_1.0.0-2_arm64.deb
Size: 356572
MD5sum: 81b8236280e7121e2cb8553b3c4cd232
SHA256: ba5041e20685a88892c607e04dcda4d1b9ffab687fca81fd091593f752c39b68
.
28247a
Package: node-dayjs
Version: 1.11.21-1
Installed-Size: 1180
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Description: minimalist date time library for Node.js
Homepage: https://day.js.org
Description-md5: 57b519fab5f8306bd99bab8683a3c5b8
Section: javascript
Priority: optional
Filename: pool/main/n/node-dayjs/node-dayjs_1.11.21-1_all.deb
Size: 285772
MD5sum: b7932196c38c8b60856d0333216622d0
SHA256: 588f5153bd10aa021afe0bed93829514d08bf88e57842d04067c0df69bf53108

.
9821a
Package: golang-github-cespare-xxhash-dev
Source: golang-github-cespare-xxhash
Version: 2.3.0-3
Installed-Size: 47
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Description: Go implementation of the 64-bit xxHash algorithm (XXH64)
Multi-Arch: foreign
Homepage: https://github.com/cespare/xxhash
Description-md5: 81805bb35b0d2d680734a457b8fa362f
Section: golang
Priority: extra
Filename: pool/main/g/golang-github-cespare-xxhash/golang-github-cespare-xxhash-dev_2.3.0-3_all.deb
Size: 10920
MD5sum: f55d120db4f2d96a5c4347619f5b4585
SHA256: d2a43b064c84464dfaa563efe57956c26b9961970be47e51eb27a4ef7ee6c921

.
5990,6009d
