Changeset 3824816 in git


Ignore:
Timestamp:
Jul 6, 2020, 9:08:48 PM (3 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
ee5b4806efcb9d42de48ff37912bef041d4e0aff
Parents:
f3d331d7beea362d318f36be1106f0d20131a8f8
Message:
.github/workflows/ci-sage.yml: Add libcdd-dev to DIST_PREREQ
File:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/ci-sage.yml

    rf3d331 r3824816  
    4646env:
    4747  # Ubuntu packages to install so that the project's "make dist" can succeed
    48   DIST_PREREQ: tar
     48  DIST_PREREQ: libcdd-dev
    4949  # Name of this project in the Sage distribution
    5050  SPKG:        singular
Note: See TracChangeset for help on using the changeset viewer.