45504,45670d
45045,45048c
Filename: pool/main/t/topcom/topcom-examples_1.2.0~g+ds-2_all.deb
Size: 12730268
MD5sum: 42195c23d6d48007975fd24de1d70049
SHA256: 1a313d0686e93f675240884b82df3d8895d500d6dd17e570f7a2ddd3dd495a44
.
45035,45036c
Version: 1.2.0~g+ds-2
Installed-Size: 135421
.
45028,45031c
Filename: pool/main/t/topcom/topcom_1.2.0~g+ds-2_arm64.deb
Size: 592484
MD5sum: 69c1fdae4be7f5c3c43a31d4a1a8ed59
SHA256: 7e7517fc007a8750b01178212b2b98adca42baa79a55f1ca0dd990bd7974e8de
.
45017,45018c
Version: 1.2.0~g+ds-2
Installed-Size: 7875
.
45011,45014c
Filename: pool/main/t/topcom/libtopcom0t64_1.2.0~g+ds-2_arm64.deb
Size: 456560
MD5sum: c34cb9a7b6920a696a6b8dda8e547dc8
SHA256: d3f08abfd205b43bce4e2178dfd5cbd5d8131cd25ca45a1c70859078593e055a
.
45004c
Breaks: libtopcom0 (<< 1.2.0~g+ds-2)
.
45002c
Provides: libtopcom0 (= 1.2.0~g+ds-2)
.
44997,44998c
Version: 1.2.0~g+ds-2
Installed-Size: 1632
.
44990,44993c
Filename: pool/main/t/topcom/libtopcom-dev_1.2.0~g+ds-2_arm64.deb
Size: 726432
MD5sum: 772ab725d9667c93737e01ed6ff10573
SHA256: 9558a1e616b72ce6d02c71d61d105632ffe1b96398edea2abf4128768f021ea6
.
44982c
Depends: libtopcom0t64 (= 1.2.0~g+ds-2)
.
44978,44979c
Version: 1.2.0~g+ds-2
Installed-Size: 5687
.
37026a
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

.
33190,33193c
Filename: pool/main/p/pkg-rocm-tools/rocm-qemu-support_0.9.9~exp2_all.deb
Size: 20132
MD5sum: 3456e3a3133dc4d7913b4f44c03adf64
SHA256: ad5ba907411bed590bec79d3d039ff71e2a346620b4d92cbab79c29d550c0cfb
.
33179c
Version: 0.9.9~exp2
.
33172,33175c
Filename: pool/main/p/pkg-rocm-tools/rocm-podman-support_0.9.9~exp2_all.deb
Size: 13200
MD5sum: 73a7701d0e8a371ae7f38eb82ae9180a
SHA256: 959bdb00630425abaabe377bb833c0905fa2a03e57c8832d509c4371eace5876
.
33161c
Version: 0.9.9~exp2
.
33154,33157c
Filename: pool/main/p/pkg-rocm-tools/pkg-rocm-tools_0.9.9~exp2_all.deb
Size: 14708
MD5sum: ad3a0e71392694f229caa4d47813760c
SHA256: 99c8cd6a431ad6047ffa1b7b6b2600351444cd50a0ccc57846acd7f4c8907867
.
33142c
Version: 0.9.9~exp2
.
28372,28388d
28248a
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

.
25565,25582d
10031,10034c
Filename: pool/main/g/golang-github-grpc-ecosystem-go-grpc-middleware/golang-github-grpc-ecosystem-go-grpc-middleware-dev_2.3.2-2_all.deb
Size: 77952
MD5sum: ebed30078003afa7eca6130f4cc252e6
SHA256: 374741fb284acbc5f4673bec1247344b086dadbe4c641766e47a804d8f5ab0dd
.
10019,10020c
Version: 2.3.2-2
Installed-Size: 483
.
8726a
Package: genimage
Version: 20-2~exp1
Installed-Size: 190
Maintainer: Sudip Mukherjee <sudipm.mukherjee@gmail.com>
Architecture: arm64
Depends: libc6 (>= 2.38), libconfuse2 (>= 3.3~)
Suggests: genisoimage, android-sdk-libsparse-utils, device-tree-compiler, u-boot-tools, mtools, dosfstools, mtd-utils, squashfs-tools, qemu-utils, genext2fs, cpio
Description: Image Creation Tool
Homepage: https://github.com/pengutronix/genimage
Description-md5: 3c894cc946714cd91d1a57a1bd2001e3
Section: utils
Priority: optional
Filename: pool/main/g/genimage/genimage_20-2~exp1_arm64.deb
Size: 56884
MD5sum: f29006a253bb27417056fad2f913d95f
SHA256: 814d009e73ba37a044a5e3571c1f2b5863de26a2a7ba0f9025914dc9805b289c

.
