Changeset 3824816 in git for .github


Ignore:
Timestamp:
Jul 6, 2020, 9:08:48 PM (3 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
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.