| debian:source-package |
coq-dpdgraph_1.0+8.16-2
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-elpi_1.16.0-2
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-equations_1.3-8.16-2
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-ext-lib_0.11.7-2
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-extructures_0.3.1-3
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-gappa_1.5.2-5
|
2024-05-03 09:14 |
|
| debian:source-package |
coq-hammer_1.3.2+8.16-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-hierarchy-builder_1.4.0-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-hott_8.16-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-interval_4.6.1-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-iris_4.0.0-3
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-libhyps_2.0.6-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-math-classes_8.15.0-4
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-menhirlib_20220210+ds-4
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-mtac2_1.4+8.16-2
|
2024-05-03 09:15 |
|
| debian:source-package |
coq-quickchick_1.6.4-3
|
2024-05-03 09:15 |
|
| debian:source-package |
couriergraph_0.25-5
|
2024-05-03 09:15 |
|
| debian:source-package |
couriergrey_0.3.2-5
|
2024-05-03 09:15 |
|
| debian:source-package |
covtobed_1.3.5+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cowdancer_0.89
|
2024-05-03 09:15 |
|
| debian:source-package |
cowpatty_4.8-3
|
2024-05-03 09:15 |
|
| debian:source-package |
cowsay_3.03+dfsg2-8
|
2024-05-03 09:15 |
|
| debian:source-package |
coyote_2022.04.12-1
|
2024-05-03 09:15 |
|
| debian:source-package |
coz-profiler_0.2.2-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cp2k_2023.1-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpan-listchanges_0.08-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpanminus_1.7046-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpanoutdated_0.32-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpath-clojure_0.1.2-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpdb-backend-cups_1.1.1-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpdb-backend-file_1.0.1-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpdb-libs_1.2.0-2+deb12u1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpio-doc_2.13-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpio_2.13+dfsg-7.1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpipe_3.0.1-2.1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-amber_4.4.3+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-giraf_2.16.10+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-hawki_2.4.11+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-muse_2.8.7+dfsg-3
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-naco_4.4.11+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-uves_6.1.8+dfsg-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-vimos_4.1.7+dfsg-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl-plugin-visir_4.4.2+dfsg-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpl_7.2.3+ds-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cplay-ng_5.1.0-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpluff_0.2.0+ds1-2
|
2024-05-03 09:15 |
|
| debian:source-package |
cpm_0.32-1.5
|
2024-05-03 09:15 |
|
| debian:source-package |
cpmtools_2.23-4
|
2024-05-03 09:15 |
|
| debian:source-package |
cpp-hocon_0.3.0-1
|
2024-05-03 09:15 |
|
| debian:source-package |
cpp-httplib_0.11.4+ds-1+deb12u1
|
2024-05-03 09:15 |
|