/debian-ports/pool-x32/main/f/fp16/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
fp16_0.0~git20200514.4dfe081-5_x32.buildinfo	6.3 KiB	20.08.2024 18:03
libfp16-dev_0.0~git20200514.4dfe081-5_x32.deb	14.6 KiB	20.08.2024 18:03