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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
elpa-fricas_1.3.10-1build3_all.deb 507602024-Apr-01 23:43
elpa-fricas_1.3.11-2_all.deb 510042024-Jul-29 08:59
elpa-fricas_1.3.11-4_all.deb 510582025-May-15 04:45
elpa-fricas_1.3.12-2_all.deb 512822026-Feb-14 03:56
elpa-fricas_1.3.13-1_all.deb 517362026-Jun-09 09:28
elpa-fricas_1.3.7-5_all.deb 508002022-Jan-28 03:24
fricas-databases_1.3.10-1build3_all.deb 12119442024-Apr-01 23:43
fricas-databases_1.3.11-2_all.deb 11834602024-Jul-29 08:59
fricas-databases_1.3.11-4_all.deb 11838162025-May-15 04:45
fricas-databases_1.3.12-2_all.deb 11860022026-Feb-14 03:56
fricas-databases_1.3.13-1_all.deb 11997842026-Jun-09 09:28
fricas-databases_1.3.7-5_all.deb 11959482022-Jan-28 03:24
fricas-doc_1.3.10-1build3_all.deb 2153842024-Apr-01 23:43
fricas-doc_1.3.11-2_all.deb 2155982024-Jul-29 08:59
fricas-doc_1.3.11-4_all.deb 2151182025-May-15 04:45
fricas-doc_1.3.12-2_all.deb 2151602026-Feb-14 03:56
fricas-doc_1.3.13-1_all.deb 2140082026-Jun-09 09:28
fricas-doc_1.3.7-5_all.deb 2162522022-Jan-28 03:24
fricas-graphics-data_1.3.10-1build3_all.deb 12259742024-Apr-01 23:43
fricas-graphics-data_1.3.11-2_all.deb 12283182024-Jul-29 08:59
fricas-graphics-data_1.3.11-4_all.deb 12198622025-May-15 04:45
fricas-graphics-data_1.3.12-2_all.deb 12217222026-Feb-14 03:56
fricas-graphics-data_1.3.13-1_all.deb 12214142026-Jun-09 09:28
fricas-graphics-data_1.3.7-5_all.deb 12615162022-Jan-28 03:24
fricas-graphics_1.3.10-1build3_arm64.deb 1235922024-Mar-31 18:59
fricas-graphics_1.3.10-1build3_armhf.deb 1176162024-Mar-31 17:12
fricas-graphics_1.3.10-1build3_ppc64el.deb 1425002024-Mar-31 20:54
fricas-graphics_1.3.10-1build3_riscv64.deb 1386462024-Apr-01 10:00
fricas-graphics_1.3.10-1build3_s390x.deb 1441462024-Mar-31 16:15
fricas-graphics_1.3.11-2_arm64.deb 1281822024-Jul-29 09:55
fricas-graphics_1.3.11-2_armhf.deb 1193522024-Jul-29 09:55
fricas-graphics_1.3.11-2_ppc64el.deb 1438602024-Jul-29 09:55
fricas-graphics_1.3.11-2_riscv64.deb 1421782024-Jul-29 17:18
fricas-graphics_1.3.11-2_s390x.deb 1439062024-Jul-29 09:55
fricas-graphics_1.3.11-4_arm64.deb 1281282025-May-15 04:45
fricas-graphics_1.3.11-4_armhf.deb 1190942025-May-15 04:45
fricas-graphics_1.3.11-4_ppc64el.deb 1431922025-May-15 04:45
fricas-graphics_1.3.11-4_riscv64.deb 1416022025-May-15 11:15
fricas-graphics_1.3.11-4_s390x.deb 1427002025-May-15 03:05
fricas-graphics_1.3.12-2_arm64.deb 1240202026-Feb-14 03:56
fricas-graphics_1.3.12-2_armhf.deb 1190682026-Feb-14 03:56
fricas-graphics_1.3.12-2_ppc64el.deb 1350882026-Feb-14 03:57
fricas-graphics_1.3.12-2_riscv64.deb 1349382026-Feb-15 07:19
fricas-graphics_1.3.12-2_s390x.deb 1422322026-Feb-14 03:57
fricas-graphics_1.3.13-1_arm64.deb 1240182026-Jun-09 11:30
fricas-graphics_1.3.13-1_armhf.deb 1190902026-Jun-09 11:31
fricas-graphics_1.3.13-1_ppc64el.deb 1350802026-Jun-09 11:53
fricas-graphics_1.3.13-1_riscv64.deb 1349282026-Jun-11 20:22
fricas-graphics_1.3.13-1_s390x.deb 1422502026-Jun-09 22:22
fricas-graphics_1.3.7-5_arm64.deb 1267942022-Jan-28 03:54
fricas-graphics_1.3.7-5_armhf.deb 1173862022-Jan-28 04:33
fricas-graphics_1.3.7-5_ppc64el.deb 1399722022-Jan-28 03:24
fricas-graphics_1.3.7-5_riscv64.deb 1210382022-Jan-28 20:19
fricas-graphics_1.3.7-5_s390x.deb 1261622022-Jan-28 03:25
fricas-hypertex-data_1.3.10-1build3_all.deb 6821262024-Apr-01 23:43
fricas-hypertex-data_1.3.11-2_all.deb 6795702024-Jul-29 08:59
fricas-hypertex-data_1.3.11-4_all.deb 6764242025-May-15 04:45
fricas-hypertex-data_1.3.12-2_all.deb 6759462026-Feb-14 03:56
fricas-hypertex-data_1.3.13-1_all.deb 6757842026-Jun-09 09:28
fricas-hypertex-data_1.3.7-5_all.deb 6859122022-Jan-28 03:24
fricas-hypertex_1.3.10-1build3_arm64.deb 979162024-Mar-31 18:59
fricas-hypertex_1.3.10-1build3_armhf.deb 870282024-Mar-31 17:12
fricas-hypertex_1.3.10-1build3_ppc64el.deb 1152722024-Mar-31 20:54
fricas-hypertex_1.3.10-1build3_riscv64.deb 1069102024-Apr-01 10:00
fricas-hypertex_1.3.10-1build3_s390x.deb 1115102024-Mar-31 16:15
fricas-hypertex_1.3.11-2_arm64.deb 969902024-Jul-29 09:55
fricas-hypertex_1.3.11-2_armhf.deb 861942024-Jul-29 09:55
fricas-hypertex_1.3.11-2_ppc64el.deb 1114782024-Jul-29 09:55
fricas-hypertex_1.3.11-2_riscv64.deb 1063762024-Jul-29 17:18
fricas-hypertex_1.3.11-2_s390x.deb 1083882024-Jul-29 09:55
fricas-hypertex_1.3.11-4_arm64.deb 966502025-May-15 04:45
fricas-hypertex_1.3.11-4_armhf.deb 861122025-May-15 04:45
fricas-hypertex_1.3.11-4_ppc64el.deb 1110102025-May-15 04:45
fricas-hypertex_1.3.11-4_riscv64.deb 1061442025-May-15 11:15
fricas-hypertex_1.3.11-4_s390x.deb 1080302025-May-15 03:05
fricas-hypertex_1.3.12-2_arm64.deb 949102026-Feb-14 03:56
fricas-hypertex_1.3.12-2_armhf.deb 866662026-Feb-14 03:56
fricas-hypertex_1.3.12-2_ppc64el.deb 1086922026-Feb-14 03:57
fricas-hypertex_1.3.12-2_riscv64.deb 1042442026-Feb-15 07:19
fricas-hypertex_1.3.12-2_s390x.deb 1072102026-Feb-14 03:57
fricas-hypertex_1.3.13-1_arm64.deb 950322026-Jun-09 11:30
fricas-hypertex_1.3.13-1_armhf.deb 866222026-Jun-09 11:31
fricas-hypertex_1.3.13-1_ppc64el.deb 1085882026-Jun-09 11:53
fricas-hypertex_1.3.13-1_riscv64.deb 1041502026-Jun-11 20:22
fricas-hypertex_1.3.13-1_s390x.deb 1071562026-Jun-09 22:22
fricas-hypertex_1.3.7-5_arm64.deb 989262022-Jan-28 03:54
fricas-hypertex_1.3.7-5_armhf.deb 875082022-Jan-28 04:33
fricas-hypertex_1.3.7-5_ppc64el.deb 1149082022-Jan-28 03:24
fricas-hypertex_1.3.7-5_riscv64.deb 924942022-Jan-28 20:19
fricas-hypertex_1.3.7-5_s390x.deb 1014442022-Jan-28 03:25
fricas-source_1.3.10-1build3_all.deb 14032862024-Apr-01 23:43
fricas-source_1.3.11-2_all.deb 14011882024-Jul-29 08:59
fricas-source_1.3.11-4_all.deb 14014802025-May-15 04:45
fricas-source_1.3.12-2_all.deb 14076302026-Feb-14 03:56
fricas-source_1.3.13-1_all.deb 14210842026-Jun-09 09:28
fricas-source_1.3.7-5_all.deb 13827302022-Jan-28 03:24
fricas-test_1.3.10-1build3_all.deb 1632002024-Apr-01 23:43
fricas-test_1.3.11-2_all.deb 1605622024-Jul-29 08:59
fricas-test_1.3.11-4_all.deb 1607882025-May-15 04:45
fricas-test_1.3.12-2_all.deb 1606342026-Feb-14 03:56
fricas-test_1.3.13-1_all.deb 1615962026-Jun-09 09:28
fricas-test_1.3.7-5_all.deb 2902302022-Jan-28 03:24
fricas_1.3.10-1build3.debian.tar.xz 2462842024-Mar-31 15:12
fricas_1.3.10-1build3.dsc 25032024-Mar-31 15:12
fricas_1.3.10-1build3_arm64.deb 650491562024-Mar-31 18:59
fricas_1.3.10-1build3_armhf.deb 636628922024-Mar-31 17:12
fricas_1.3.10-1build3_ppc64el.deb 688356382024-Mar-31 20:54
fricas_1.3.10-1build3_riscv64.deb 2079444382024-Apr-01 10:00
fricas_1.3.10-1build3_s390x.deb 670287162024-Mar-31 16:15
fricas_1.3.10.orig.tar.bz2 109715132024-Feb-15 21:29
fricas_1.3.11-2.debian.tar.xz 2464562024-Jul-29 08:59
fricas_1.3.11-2.dsc 23632024-Jul-29 08:59
fricas_1.3.11-2_arm64.deb 577450502024-Jul-29 09:55
fricas_1.3.11-2_armhf.deb 576681422024-Jul-29 09:55
fricas_1.3.11-2_ppc64el.deb 609856542024-Jul-29 09:55
fricas_1.3.11-2_riscv64.deb 1806902162024-Jul-29 17:18
fricas_1.3.11-2_s390x.deb 593444702024-Jul-29 09:55
fricas_1.3.11-4.debian.tar.xz 2616402025-May-15 03:05
fricas_1.3.11-4.dsc 23662025-May-15 03:05
fricas_1.3.11-4_arm64.deb 599965482025-May-15 04:45
fricas_1.3.11-4_armhf.deb 580366602025-May-15 04:45
fricas_1.3.11-4_ppc64el.deb 622969702025-May-15 04:45
fricas_1.3.11-4_riscv64.deb 1472078282025-May-15 11:15
fricas_1.3.11-4_s390x.deb 620603762025-May-15 03:05
fricas_1.3.11.orig.tar.bz2 109376412024-Jul-01 08:49
fricas_1.3.12-2.debian.tar.xz 2622002026-Feb-14 02:37
fricas_1.3.12-2.dsc 23662026-Feb-14 02:37
fricas_1.3.12-2_arm64.deb 614896722026-Feb-14 03:56
fricas_1.3.12-2_armhf.deb 585200282026-Feb-14 03:56
fricas_1.3.12-2_ppc64el.deb 652427102026-Feb-14 03:57
fricas_1.3.12-2_riscv64.deb 1798268222026-Feb-15 07:19
fricas_1.3.12-2_s390x.deb 642981522026-Feb-14 03:57
fricas_1.3.12.orig.tar.bz2 109510282026-Feb-13 10:07
fricas_1.3.13-1.debian.tar.xz 2622122026-Jun-09 08:39
fricas_1.3.13-1.dsc 23662026-Jun-09 08:39
fricas_1.3.13-1_arm64.deb 708898242026-Jun-09 11:31
fricas_1.3.13-1_armhf.deb 689267862026-Jun-09 11:31
fricas_1.3.13-1_ppc64el.deb 784069482026-Jun-09 11:53
fricas_1.3.13-1_riscv64.deb 2271899282026-Jun-11 20:22
fricas_1.3.13-1_s390x.deb 748274342026-Jun-09 22:22
fricas_1.3.13.orig.tar.bz2 109973142026-Jun-09 08:39
fricas_1.3.7-5.debian.tar.xz 994162022-Jan-28 02:14
fricas_1.3.7-5.dsc 23512022-Jan-28 02:14
fricas_1.3.7-5_arm64.deb 607087602022-Jan-28 03:54
fricas_1.3.7-5_armhf.deb 611818882022-Jan-28 04:34
fricas_1.3.7-5_ppc64el.deb 618942062022-Jan-28 03:24
fricas_1.3.7-5_riscv64.deb 1688641862022-Jan-28 20:19
fricas_1.3.7-5_s390x.deb 592599402022-Jan-28 03:25
fricas_1.3.7.orig.tar.bz2 108599602021-Jul-02 08:13