Directory: /plct/distros/fedora/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
repodata/-2024-Mar-03 12:22
coq-bbv-1.4-1.fc40.src.rpm59.3 KiB2024-Mar-03 12:04
coq-bbv-1.4-1.fc40.x86_64.rpm766.4 KiB2024-Mar-03 12:05
coq-bbv-devel-1.4-1.fc40.x86_64.rpm6.7 KiB2024-Mar-03 12:05
coq-sail-0.17.1-1.fc40.src.rpm121.3 KiB2024-Mar-03 12:05
coq-sail-0.17.1-1.fc40.x86_64.rpm10.9 KiB2024-Mar-03 12:06
coq-sail-devel-0.17.1-1.fc40.x86_64.rpm8.4 KiB2024-Mar-03 12:06
linksem-0.8-1.fc40.src.rpm35.0 MiB2024-Mar-03 11:33
linksem-0.8-1.fc40.x86_64.rpm3.5 MiB2024-Mar-03 11:36
linksem-devel-0.8-1.fc40.x86_64.rpm16.0 MiB2024-Mar-03 11:36
ocaml-lem-2022.12.10-1.fc40.src.rpm3.1 MiB2024-Mar-03 11:06
ocaml-lem-2022.12.10-1.fc40.x86_64.rpm2.1 MiB2024-Mar-03 11:08
ocaml-lem-devel-2022.12.10-1.fc40.x86_64.rpm508.6 KiB2024-Mar-03 11:07
ocaml-linenoise-1.5-1.fc40.src.rpm53.0 KiB2024-Mar-03 11:49
ocaml-linenoise-1.5-1.fc40.x86_64.rpm37.6 KiB2024-Mar-03 11:49
ocaml-linenoise-debuginfo-1.5-1.fc40.x86_64.rpm49.6 KiB2024-Mar-03 11:49
ocaml-linenoise-debugsource-1.5-1.fc40.x86_64.rpm21.1 KiB2024-Mar-03 11:49
ocaml-linenoise-devel-1.5-1.fc40.x86_64.rpm43.1 KiB2024-Mar-03 11:49
ocaml-omd-1.3.2-1.fc40.src.rpm95.7 KiB2024-Mar-03 11:46
ocaml-omd-1.3.2-1.fc40.x86_64.rpm1.2 MiB2024-Mar-03 11:48
ocaml-omd-debuginfo-1.3.2-1.fc40.x86_64.rpm211.2 KiB2024-Mar-03 11:48
ocaml-omd-debugsource-1.3.2-1.fc40.x86_64.rpm47.4 KiB2024-Mar-03 11:48
ocaml-omd-devel-1.3.2-1.fc40.x86_64.rpm2.0 MiB2024-Mar-03 11:48
ocaml-pprint-20230830-1.fc40.src.rpm60.1 KiB2024-Mar-03 11:51
ocaml-pprint-20230830-1.fc40.x86_64.rpm108.9 KiB2024-Mar-03 11:51
ocaml-pprint-debuginfo-20230830-1.fc40.x86_64.rpm20.8 KiB2024-Mar-03 11:51
ocaml-pprint-debugsource-20230830-1.fc40.x86_64.rpm17.6 KiB2024-Mar-03 11:51
ocaml-pprint-devel-20230830-1.fc40.x86_64.rpm260.6 KiB2024-Mar-03 11:51
ott-0.33-1.fc40.src.rpm3.4 MiB2024-Mar-03 11:37
ott-0.33-1.fc40.x86_64.rpm1.7 MiB2024-Mar-03 11:39
ott-devel-0.33-1.fc40.x86_64.rpm8.3 KiB2024-Mar-03 11:39
sail-0.17.1-1.fc40.src.rpm26.1 MiB2024-Mar-03 11:51
sail-0.17.1-1.fc40.x86_64.rpm15.0 MiB2024-Mar-03 11:55
sail-debuginfo-0.17.1-1.fc40.x86_64.rpm1.8 MiB2024-Mar-03 11:55
sail-debugsource-0.17.1-1.fc40.x86_64.rpm424.0 KiB2024-Mar-03 11:55
sail-devel-0.17.1-1.fc40.x86_64.rpm27.0 MiB2024-Mar-03 11:56
sail-riscv-debuginfo-master-1.fc40.x86_64.rpm6.6 MiB2024-Mar-03 12:22
sail-riscv-debugsource-master-1.fc40.x86_64.rpm1.2 MiB2024-Mar-03 12:22
sail-riscv-devel-master-1.fc40.x86_64.rpm128.3 KiB2024-Mar-03 12:22
sail-riscv-master-1.fc40.src.rpm36.4 MiB2024-Mar-03 12:14
sail-riscv-master-1.fc40.x86_64.rpm750.5 KiB2024-Mar-03 12:22