46542,46708d
37861a
Package: libcoq-micromega-plugin
Source: rocq-micromega-plugin
Version: 1.1.0-1
Installed-Size: 21237
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-micromega-plugin-ae0x5
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_amd64.deb
Size: 4140304
MD5sum: ac2d636ad09bf8a9c3df7726cb1b3a1d
SHA256: 54d2c8cfc932ed32ac92381964b2904b4631b75c44f2ec3eae59f343cd3dbeac

.
29043a
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

.
