Index of /ubuntu/pool/universe/p/picolibc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]picolibc-aarch64-linux-gnu_1.7.4-1_all.deb2021-11-20 00:04 1.2M 
[   ]picolibc-aarch64-linux-gnu_1.8-1_all.deb2022-12-23 23:58 2.5M 
[   ]picolibc-aarch64-linux-gnu_1.8.2-2_all.deb2023-06-15 12:19 2.7M 
[   ]picolibc-aarch64-linux-gnu_1.8.6-2_all.deb2024-02-21 01:07 2.8M 
[   ]picolibc-arm-none-eabi_1.7.4-1_all.deb2021-11-20 00:03 12M 
[   ]picolibc-arm-none-eabi_1.8-1_all.deb2022-12-23 23:58 27M 
[   ]picolibc-arm-none-eabi_1.8.2-2_all.deb2023-06-15 12:19 28M 
[   ]picolibc-arm-none-eabi_1.8.6-2_all.deb2024-02-21 01:07 33M 
[   ]picolibc-riscv64-unknown-elf_1.7.4-1_all.deb2021-11-20 00:03 50M 
[   ]picolibc-riscv64-unknown-elf_1.8-1_all.deb2022-12-23 23:58 128M 
[   ]picolibc-riscv64-unknown-elf_1.8.2-2_all.deb2023-06-15 12:19 133M 
[   ]picolibc-riscv64-unknown-elf_1.8.6-2_all.deb2024-02-21 01:07 151M 
[   ]picolibc-xtensa-lx106-elf_1.7.4-1_all.deb2021-11-20 00:03 1.5M 
[   ]picolibc-xtensa-lx106-elf_1.8-1_all.deb2022-12-23 23:58 2.8M 
[   ]picolibc-xtensa-lx106-elf_1.8.2-2_all.deb2023-06-15 12:19 2.9M 
[   ]picolibc-xtensa-lx106-elf_1.8.6-2_all.deb2024-02-21 01:07 2.9M 
[   ]picolibc_1.7.4-1.debian.tar.xz2021-11-19 23:29 28K 
[TXT]picolibc_1.7.4-1.dsc2021-11-19 23:29 2.2K 
[   ]picolibc_1.7.4.orig.tar.gz2021-11-19 23:29 4.3M 
[   ]picolibc_1.8-1.debian.tar.xz2022-12-23 23:19 31K 
[TXT]picolibc_1.8-1.dsc2022-12-23 23:19 2.2K 
[   ]picolibc_1.8.2-2.debian.tar.xz2023-06-15 11:44 31K 
[TXT]picolibc_1.8.2-2.dsc2023-06-15 11:44 2.2K 
[   ]picolibc_1.8.2.orig.tar.gz2023-06-15 05:28 4.7M 
[   ]picolibc_1.8.6-2.debian.tar.xz2024-02-20 23:47 33K 
[TXT]picolibc_1.8.6-2.dsc2024-02-20 23:47 2.3K 
[   ]picolibc_1.8.6.orig.tar.gz2024-01-21 23:40 5.3M 
[   ]picolibc_1.8.8-2.debian.tar.xz2024-10-31 19:05 33K 
[TXT]picolibc_1.8.8-2.dsc2024-10-31 19:05 2.3K 
[   ]picolibc_1.8.8.orig.tar.gz2024-10-31 19:05 5.3M 
[   ]picolibc_1.8.orig.tar.gz2022-12-23 23:19 4.7M 

Apache/2.4.52 (Ubuntu) Server at mirror.liquidrp.de Port 80