Tynan McAuley d540899b48 Fix name of Ubuntu/Debian package "libexpat1-dev". (#466) ...

The "libxpat1-dev" package doesn't exist on Ubuntu/Debian, and results
in an error when installing Ubuntu/Debian dependencies.

The desired package: https://packages.ubuntu.com/bionic/libexpat1-dev

Co-authored-by: Tynan McAuley <tynan@galois.com>

2020-03-13 14:51:09 -07:00

1.1 KiB

Executable File

Raw Blame History

View Raw