41066: mirror trixie from https://deb.debian.org/debian

Metadata
architectures:
- amd64
- arm64
collection: trixie
components:
- main
- contrib
- non-free
- non-free-firmware
signing_key: /usr/share/keyrings/debian-archive-bookworm-automatic.gpg
suite: trixie
url: https://deb.debian.org/debian
Type Name
Listing source artifacts not yet implemented for this task type
Binary package elpi_1.18.2-5+b5_amd64
Binary package elpi_1.18.2-5+b5_arm64
Binary package frama-c-base_20220511-manganese-5+b12_amd64
Binary package frama-c-base_20220511-manganese-5+b12_arm64
Binary package just_1.36.0-1_amd64
Binary package just_1.36.0-1_arm64
Binary package libcoq-coqeal_2.0.2-2+b5_amd64
Binary package libcoq-coqeal_2.0.2-2+b5_arm64
Binary package libcoq-coquelicot_3.4.1-3+b5_amd64
Binary package libcoq-coquelicot_3.4.1-3+b5_arm64
Binary package libcoq-deriving_0.2.0-3+b5_amd64
Binary package libcoq-deriving_0.2.0-3+b5_arm64
Binary package libcoq-elpi_2.1.0-1+b9_amd64
Binary package libcoq-elpi_2.1.0-1+b9_arm64
Binary package libcoq-extructures_0.4.0-4+b5_amd64
Binary package libcoq-extructures_0.4.0-4+b5_arm64
Binary package libcoq-hierarchy-builder_1.7.0-2+b8_amd64
Binary package libcoq-hierarchy-builder_1.7.0-2+b8_arm64
Binary package libcoq-interval_4.11.0-2+b5_amd64
Binary package libcoq-interval_4.11.0-2+b5_arm64
Binary package libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_amd64
Binary package libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_arm64
Binary package libcoq-mathcomp-algebra_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-algebra_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-analysis_1.2.0-2+b5_amd64
Binary package libcoq-mathcomp-analysis_1.2.0-2+b5_arm64
Binary package libcoq-mathcomp-bigenough_1.0.1-14+b5_amd64
Binary package libcoq-mathcomp-bigenough_1.0.1-14+b5_arm64
Binary package libcoq-mathcomp-character_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-character_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-classical_1.2.0-2+b5_amd64
Binary package libcoq-mathcomp-classical_1.2.0-2+b5_arm64
Binary package libcoq-mathcomp-field_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-field_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-fingroup_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-fingroup_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-finmap_2.1.0-2+b5_amd64
Binary package libcoq-mathcomp-finmap_2.1.0-2+b5_arm64
Binary package libcoq-mathcomp-multinomials_2.2.0-3+b5_amd64
Binary package libcoq-mathcomp-multinomials_2.2.0-3+b5_arm64
Binary package libcoq-mathcomp-real-closed_2.0.0-3+b5_amd64
Binary package libcoq-mathcomp-real-closed_2.0.0-3+b5_arm64
Binary package libcoq-mathcomp-solvable_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-solvable_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-ssreflect_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp-ssreflect_2.2.0-2+b7_arm64
Binary package libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_amd64
Binary package libcoq-mathcomp-zify_1.5.0+2.0+8.16-3+b5_arm64
Binary package libcoq-mathcomp_2.2.0-2+b7_amd64
Binary package libcoq-mathcomp_2.2.0-2+b7_arm64
Binary package libcoq-quickchick_2.0.3-3+b6_amd64
Binary package libcoq-quickchick_2.0.3-3+b6_arm64
Binary package libcoq-reglang_1.2.1-4+b5_amd64
Binary package libcoq-reglang_1.2.1-4+b5_arm64
Binary package libcoq-relation-algebra_1.7.10-4+b5_amd64
Binary package libcoq-relation-algebra_1.7.10-4+b5_arm64
Binary package libelpi-ocaml-dev_1.18.2-5+b5_amd64
Binary package libelpi-ocaml-dev_1.18.2-5+b5_arm64
Binary package libelpi-ocaml_1.18.2-5+b5_amd64
Binary package libelpi-ocaml_1.18.2-5+b5_arm64
Binary package libmorbig-ocaml-dev_0.11.0-3+b3_amd64
Binary package libmorbig-ocaml-dev_0.11.0-3+b3_arm64
Binary package libmorsmall-ocaml-dev_0.3.0-8+b4_amd64
Binary package libmorsmall-ocaml-dev_0.3.0-8+b4_arm64
Binary package libocsipersist-lib-ocaml-dev_2.0.0-1+b1_amd64
Binary package libocsipersist-lib-ocaml-dev_2.0.0-1+b1_arm64
Binary package libocsipersist-lib-ocaml_2.0.0-1+b1_amd64
Binary package libocsipersist-lib-ocaml_2.0.0-1+b1_arm64
Binary package libocsipersist-ocaml-dev_2.0.0-1+b1_amd64
Binary package libocsipersist-ocaml-dev_2.0.0-1+b1_arm64
Binary package libocsipersist-ocaml_2.0.0-1+b1_amd64
Binary package libocsipersist-ocaml_2.0.0-1+b1_arm64
Binary package libocsipersist-pgsql-ocaml-dev_2.0.0-1+b1_amd64
Binary package libocsipersist-pgsql-ocaml-dev_2.0.0-1+b1_arm64
Binary package libocsipersist-pgsql-ocaml_2.0.0-1+b1_amd64
Binary package libocsipersist-pgsql-ocaml_2.0.0-1+b1_arm64
Binary package libocsipersist-sqlite-ocaml-dev_2.0.0-1+b1_amd64
Binary package libocsipersist-sqlite-ocaml-dev_2.0.0-1+b1_arm64
Binary package libocsipersist-sqlite-ocaml_2.0.0-1+b1_amd64
Binary package libocsipersist-sqlite-ocaml_2.0.0-1+b1_arm64
Binary package libpgocaml-ocaml-dev_4.4.0-1+b11_amd64
Binary package libpgocaml-ocaml-dev_4.4.0-1+b11_arm64
Binary package libpgocaml-ocaml_4.4.0-1+b11_amd64
Binary package libpgocaml-ocaml_4.4.0-1+b11_arm64
Binary package libppx-deriving-ocaml-dev_6.0.3-1_amd64
Binary package libppx-deriving-ocaml-dev_6.0.3-1_arm64
Binary package libppx-deriving-ocaml_6.0.3-1_amd64
Binary package libppx-deriving-ocaml_6.0.3-1_arm64
Binary package libppx-deriving-yojson-ocaml-dev_3.9.0-1+b2_amd64
Binary package libppx-deriving-yojson-ocaml-dev_3.9.0-1+b2_arm64
Binary package libppx-visitors-ocaml-dev_20210608-6+b4_amd64
Binary package libppx-visitors-ocaml-dev_20210608-6+b4_arm64
Binary package librust-just-dev_1.36.0-1_amd64
Binary package librust-just-dev_1.36.0-1_arm64
Binary package morbig_0.11.0-3+b3_amd64
Binary package morbig_0.11.0-3+b3_arm64
Binary package powder_118+dfsg1-4_amd64
Binary package powder_118+dfsg1-4_arm64
Binary package python3-tomopy_1.15.0+ds1-8_amd64
Binary package quickchick_2.0.3-3+b6_amd64
Binary package quickchick_2.0.3-3+b6_arm64
Binary package rovclock_0.6e-7.1_amd64
Binary package tellico-data_4.0.1-1_all
Binary package tellico-doc_4.0.1-1_all
Binary package tellico-scripts_4.0.1-1_all
Binary package tellico_4.0.1-1_amd64
Binary package tellico_4.0.1-1_arm64
Source package powder_118+dfsg1-4
Source package ppx-deriving_6.0.3-1
Source package rovclock_0.6e-7.1
Source package rust-just_1.36.0-1
Source package tellico_4.0.1-1
Source package tomopy_1.15.0+ds1-8
mirror trixie from https://deb.debian.org/debian - Completed Success System _system 1 month, 1 week ago celery 0 minutes 1 minute 1 week, 4 days
BETA