Index of /ubuntu/pool/universe/f/fricas/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
fricas-source_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	1.3 MiB	[Save][Download]
elpa-fricas_1.3.7-5_all.deb	27/01/22 18:2427/01/22	49.6 KiB	[Save][Download]
fricas-test_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	159 KiB	[Save][Download]
fricas_1.3.10.orig.tar.bz2	15/02/24 12:2915/02/24	10.5 MiB	[Save][Download]
fricas_1.3.10-1build3_amd64.deb	01/04/24 14:4301/04/24	62.9 MiB	[Save][Download]
fricas_1.3.7-5_amd64.deb	27/01/22 18:2427/01/22	59.9 MiB	[Save][Download]
fricas-databases_1.3.7-5_all.deb	27/01/22 18:2427/01/22	1.1 MiB	[Save][Download]
fricas_1.3.7-5.dsc	27/01/22 17:1427/01/22	2.3 KiB	[Save][Download]
fricas_1.3.7.orig.tar.bz2	01/07/21 23:1301/07/21	10.4 MiB	[Save][Download]
fricas_1.3.11.orig.tar.bz2	30/06/24 23:4930/06/24	10.4 MiB	[Save][Download]
fricas-doc_1.3.7-5_all.deb	27/01/22 18:2427/01/22	211 KiB	[Save][Download]
fricas_1.3.10-1build3.debian.tar.xz	31/03/24 06:1231/03/24	241 KiB	[Save][Download]
fricas-doc_1.3.11-2_all.deb	28/07/24 23:5928/07/24	211 KiB	[Save][Download]
fricas_1.3.11-2.debian.tar.xz	28/07/24 23:5928/07/24	241 KiB	[Save][Download]
fricas_1.3.11-2.dsc	28/07/24 23:5928/07/24	2.3 KiB	[Save][Download]
fricas-graphics-data_1.3.7-5_all.deb	27/01/22 18:2427/01/22	1.2 MiB	[Save][Download]
fricas-hypertex-data_1.3.11-2_all.deb	28/07/24 23:5928/07/24	664 KiB	[Save][Download]
fricas-graphics_1.3.7-5_amd64.deb	27/01/22 18:2427/01/22	127 KiB	[Save][Download]
fricas_1.3.11-2_amd64.deb	28/07/24 23:5928/07/24	57.3 MiB	[Save][Download]
fricas_1.3.10-1build3.dsc	31/03/24 06:1231/03/24	2.4 KiB	[Save][Download]
elpa-fricas_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	49.6 KiB	[Save][Download]
fricas-hypertex-data_1.3.7-5_all.deb	27/01/22 18:2427/01/22	670 KiB	[Save][Download]
fricas-databases_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	1.2 MiB	[Save][Download]
fricas-hypertex_1.3.7-5_amd64.deb	27/01/22 18:2427/01/22	97.6 KiB	[Save][Download]
elpa-fricas_1.3.11-2_all.deb	28/07/24 23:5928/07/24	49.8 KiB	[Save][Download]
fricas-hypertex_1.3.11-2_amd64.deb	28/07/24 23:5928/07/24	94.8 KiB	[Save][Download]
fricas-source_1.3.7-5_all.deb	27/01/22 18:2427/01/22	1.3 MiB	[Save][Download]
fricas-databases_1.3.11-2_all.deb	28/07/24 23:5928/07/24	1.1 MiB	[Save][Download]
fricas-doc_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	210 KiB	[Save][Download]
fricas-test_1.3.7-5_all.deb	27/01/22 18:2427/01/22	283 KiB	[Save][Download]
fricas-source_1.3.11-2_all.deb	28/07/24 23:5928/07/24	1.3 MiB	[Save][Download]
fricas-graphics_1.3.11-2_amd64.deb	28/07/24 23:5928/07/24	127 KiB	[Save][Download]
fricas_1.3.7-5.debian.tar.xz	27/01/22 17:1427/01/22	97.1 KiB	[Save][Download]
fricas-graphics-data_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	1.2 MiB	[Save][Download]
fricas-test_1.3.11-2_all.deb	28/07/24 23:5928/07/24	157 KiB	[Save][Download]
fricas-graphics-data_1.3.11-2_all.deb	28/07/24 23:5928/07/24	1.2 MiB	[Save][Download]
fricas-graphics_1.3.10-1build3_amd64.deb	01/04/24 14:4301/04/24	125 KiB	[Save][Download]
fricas-hypertex-data_1.3.10-1build3_all.deb	01/04/24 14:4301/04/24	666 KiB	[Save][Download]
fricas-hypertex_1.3.10-1build3_amd64.deb	01/04/24 14:4301/04/24	95.7 KiB	[Save][Download]