Index of /R-urca

	Name	Last modified	Size	Description
	Parent Directory		-
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:24	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:24	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:49	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:49	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:50	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:50	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:58	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 11:58	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:00	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:00	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:03	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:03	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:11	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 12:11	512
	R-urca-1.3-4_0+gcc13..>	2024-05-28 13:47	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-28 13:47	512
	R-urca-1.3-4_0+gcc13..>	2024-05-29 02:14	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-29 02:14	512
	R-urca-1.3-4_0+gcc13..>	2024-05-29 03:29	1.0M
	R-urca-1.3-4_0+gcc13..>	2024-05-29 03:29	512
	R-urca-1.3-4_0+gcc14..>	2024-10-09 18:25	1.0M
	R-urca-1.3-4_0+gcc14..>	2024-10-09 18:25	512
	R-urca-1.3-4_0+gcc14..>	2025-03-02 08:25	1.0M
	R-urca-1.3-4_0+gcc14..>	2025-03-02 08:25	512
	R-urca-1.3-4_0+gcc14..>	2025-03-23 06:56	1.0M
	R-urca-1.3-4_0+gcc14..>	2025-03-23 06:56	512
	R-urca-1.3-4_0+gcc14..>	2025-03-23 13:59	1.0M
	R-urca-1.3-4_0+gcc14..>	2025-03-23 13:59	512