Files
This branch is 11 commits ahead of, 5 commits behind fricas/fricas:master.
debian
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This package was debianized by Grégory Vanuxem <[email protected]> on Sat, 14 Dec 2024 01:10:29 +0100. It was downloaded from https://github.com/gvanuxem/jlfricas Official upstream Authors: Waldek Hebisch <[email protected]>, et.al. -- Grégory Vanuxem <[email protected]>, Sat, 14 Dec 2024 01:13:33 +0100