Index of /pool/main/f/fricas/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
fricas_1.3.6.orig.tar.bz2 104227322020-Nov-23 15:51
fricas_1.3.6-6.dsc 23462021-Apr-24 13:42
fricas_1.3.6-6.debian.tar.xz 661442021-Apr-24 13:42
fricas-graphics-data_1.3.6-6_all.deb 13026122021-Apr-24 14:32
fricas-databases_1.3.6-6_all.deb 12878762021-Apr-24 14:32
fricas-hypertex-data_1.3.6-6_all.deb 7428722021-Apr-24 14:32
fricas-doc_1.3.6-6_all.deb 2913282021-Apr-24 14:32
fricas-source_1.3.6-6_all.deb 14039202021-Apr-24 14:32
elpa-fricas_1.3.6-6_all.deb 1321362021-Apr-24 14:32
fricas-test_1.3.6-6_all.deb 3614642021-Apr-24 14:32
fricas-graphics_1.3.6-6_armhf.deb 1802962021-May-01 10:08
fricas_1.3.6-6_armhf.deb 482810202021-May-01 10:08
fricas-hypertex_1.3.6-6_armhf.deb 1549042021-May-01 10:08
fricas_1.3.8.orig.tar.bz2 108789132022-Jul-07 18:49
fricas_1.3.8-6.debian.tar.xz 2452202023-Jan-14 00:19
fricas_1.3.8-6.dsc 23522023-Jan-14 00:19
elpa-fricas_1.3.8-6_all.deb 1376642023-Jan-14 02:42
fricas-doc_1.3.8-6_all.deb 2948242023-Jan-14 02:42
fricas-hypertex-data_1.3.8-6_all.deb 7046042023-Jan-14 02:42
fricas-test_1.3.8-6_all.deb 2576402023-Jan-14 02:42
fricas-databases_1.3.8-6_all.deb 13134322023-Jan-14 02:42
fricas-graphics-data_1.3.8-6_all.deb 13228802023-Jan-14 02:42
fricas-source_1.3.8-6_all.deb 14466722023-Jan-14 02:42
fricas-hypertex_1.3.8-6_armhf.deb 928562023-Jan-19 20:22
fricas_1.3.8-6_armhf.deb 525834002023-Jan-19 20:22
fricas-graphics_1.3.8-6_armhf.deb 928562023-Jan-19 20:22
fricas_1.3.11.orig.tar.bz2 109376412024-Jun-30 17:38
fricas-graphics-data_1.3.11-2_all.deb 13411882024-Jul-28 17:33
fricas-test_1.3.11-2_all.deb 2522922024-Jul-28 17:33
fricas-doc_1.3.11-2_all.deb 3040482024-Jul-28 17:33
fricas-source_1.3.11-2_all.deb 14690322024-Jul-28 17:33
fricas-hypertex-data_1.3.11-2_all.deb 7402242024-Jul-28 17:33
fricas-databases_1.3.11-2_all.deb 13204682024-Jul-28 17:33
elpa-fricas_1.3.11-2_all.deb 1471642024-Jul-28 17:33
fricas_1.3.11-2.debian.tar.xz 2464562024-Aug-03 04:41
fricas_1.3.11-2.dsc 23632024-Aug-03 04:41
fricas_1.3.11-2_armhf.deb 527976842024-Aug-03 22:08
fricas-graphics_1.3.11-2_armhf.deb 1947642024-Aug-03 22:08
fricas-hypertex_1.3.11-2_armhf.deb 1684002024-Aug-03 22:08