| debian:source-package |
coq-iris_4.2.0-3
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-libhyps_2.0.8-4
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-menhirlib_20231231+ds-4
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-mtac2_1.4+8.19-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-quickchick_2.0.3-3
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-record-update_0.3.4-3
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-reduction-effects_0.1.5-5
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-reglang_1.2.1-4
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-relation-algebra_1.7.10-4
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-serapi_8.19.0+0.19.3-4
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-simple-io_1.9.0-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-stdpp_1.10.0-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-unicoq_1.6-8.19-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coq-unimath_20240331-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coq_8.19.1+dfsg-3
|
2024-09-10 06:31 |
|
| debian:source-package |
coqeal_2.0.2-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coqprime_8.19-2
|
2024-09-10 06:31 |
|
| debian:source-package |
coquelicot_3.4.1-3
|
2024-09-10 06:31 |
|
| debian:source-package |
corkscrew_2.0-15
|
2024-09-10 06:31 |
|
| debian:source-package |
corosync-qdevice_3.0.3-2
|
2024-09-10 06:31 |
|
| debian:source-package |
corosync_3.1.8-3
|
2024-09-10 06:31 |
|
| debian:source-package |
cothreads_0.10-7
|
2024-09-10 06:31 |
|
| debian:source-package |
cpio_2.15+dfsg-2
|
2024-09-10 06:31 |
|
| debian:source-package |
cplay-ng_5.3.1-1
|
2024-09-10 06:31 |
|
| debian:source-package |
cppi_1.18-2
|
2024-09-10 06:31 |
|
| debian:source-package |
cppman_0.5.7+dfsg-1
|
2024-09-10 06:31 |
|
| debian:source-package |
cproto_4.7w-1
|
2024-09-10 06:31 |
|
| debian:source-package |
cpupower-gui_1.0.0-3
|
2024-09-10 06:31 |
|
| debian:source-package |
cpustat_0.02.21-1
|
2024-09-10 06:31 |
|
| debian:source-package |
crack_5.0a-16
|
2024-09-10 06:31 |
|
| debian:source-package |
crdt-el_0.3.5-4
|
2024-09-10 06:31 |
|
| debian:source-package |
creduce_2.11.0~20240909-1
|
2024-09-10 06:32 |
|
| debian:source-package |
crispy-doom_7.0-1
|
2024-09-10 06:32 |
|
| debian:source-package |
critterding_1.0-beta12.1+dfsg-1
|
2024-09-10 06:32 |
|
| debian:source-package |
cross-toolchain-base-mipsen_30
|
2024-09-10 06:32 |
|
| debian:source-package |
crossfire_1.75.0-8
|
2024-09-10 06:32 |
|
| debian:source-package |
crow-translate_2.11.1+git20240108+ds-2
|
2024-09-10 06:32 |
|
| debian:source-package |
crowbar_0.2.1-6
|
2024-09-10 06:32 |
|
| debian:source-package |
crowdsec-custom-bouncer_0.0.15-4
|
2024-09-10 06:32 |
|
| debian:source-package |
crowdsec-firewall-bouncer_0.0.25-5
|
2024-09-10 06:32 |
|
| debian:source-package |
crowdsec_1.4.6-9
|
2024-09-10 06:32 |
|
| debian:source-package |
cryfs_0.11.4-2
|
2024-09-10 06:32 |
|
| debian:source-package |
cryptgps_0.2.1-13
|
2024-09-10 06:32 |
|
| debian:source-package |
cryptmount_6.3.0-1
|
2024-09-10 06:32 |
|
| debian:source-package |
cryptokit_1.20.1-1
|
2024-09-10 06:32 |
|
| debian:source-package |
cryptsetup_2:2.7.5-1
|
2024-09-10 06:32 |
|
| debian:source-package |
csaps_1.2.0-4
|
2024-09-10 06:32 |
|
| debian:source-package |
csh_20240808-2
|
2024-09-10 06:32 |
|
| debian:source-package |
csound_1:6.18.1+dfsg-3
|
2024-09-10 06:32 |
|
| debian:source-package |
csv-mode_1.25-4
|
2024-09-10 06:32 |
|