|
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
|
|