Closed pfdietz closed 4 years ago
You appear to be on an Ubuntu18 system (the other repositories in the output you posted mention "bionic") but you are trying to load the gtirb packages from our Ubuntu16 ("xenial") repository. Please try using our "bionic" repository. Also, please note that the installation instructions for Ubuntu18 are slightly different than for Ubuntu16, particularly the "deb" line and the "apt-get install" command.
I get the following messages when attempt those installation instructions in a docker container. grammatech.github.io does not appear to be there.