Ubuntu
fricas package

ubuntu/+source/fricas:applied/ubuntu/jammy-devel

  1. Git
  2. lp:ubuntu/+source/fricas
  3. applied/ubuntu/jammy-devel
Last commit made on 2022-01-27
Get this branch:
git clone -b applied/ubuntu/jammy-devel https://git.launchpad.net/ubuntu/+source/fricas
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/jammy-devel
Repository:
lp:ubuntu/+source/fricas

Recent commits

763589d... by Camm Maguire

1.3.7-5 (patches applied)

Imported using git-ubuntu import.

a6eef27... by Camm Maguire

<short summary of the patch>

Gbp-Pq: autoupdate1.

3ad97e1... by Camm Maguire

<short summary of the patch>

Gbp-Pq: autoupdate.

d4a3b4c... by Camm Maguire

lintian cleanups

Gbp-Pq: lintian2.

2b6e575... by Camm Maguire

build auxiliary programs with standard Debian flags

Gbp-Pq: CFLAGS_et_al_propagation.

fb80960... by Camm Maguire

lintian cleanups

Gbp-Pq: lintian1.

b839bbf... by Camm Maguire

do not build with gcl :system-p flag

Gbp-Pq: unset_default_system_p.

a108418... by Camm Maguire

package names and ansi pathname

Gbp-Pq: package-names-and-ansi-pathname.

bbb35eb... by Camm Maguire

1.3.7-5 (patches unapplied)

Imported using git-ubuntu import.

9ee6a6f... by Camm Maguire

1.3.7-4 (patches applied)

Imported using git-ubuntu import.