diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-06-18 10:11:48 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-06-19 17:26:18 -0400 |
| commit | 244900c217fa6fca5afec82c2a7ba3aa623304f4 (patch) | |
| tree | 8eb38969045d2556d9c728b3fbd7931348fadebc /Makefile | |
| parent | f64e618b4f101f2c0dd2d66425673165bd60a785 (diff) | |
Fix issue with Travis network
Sometimes we get logs like
[this](https://travis-ci.org/mit-plv/fiat-crypto/jobs/393628098), where
we have
```
Reading package lists...
W: GPG error: http://ppa.launchpad.net/jgross-h/many-coq-versions/ubuntu trusty InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY E58B19DAA454A7D9
W: The repository 'http://ppa.launchpad.net/jgross-h/many-coq-versions/ubuntu trusty InRelease' is not signed.
W: There is no public key available for the following key IDs:
E58B19DAA454A7D9
W: http://ppa.launchpad.net/couchdb/stable/ubuntu/dists/trusty/Release.gpg: Signature by key 15866BAFD9BCC4F3C1E0DFC7D69548E1C17EAB57 uses weak digest algorithm (SHA1)
```
and then
```
WARNING: The following packages cannot be authenticated!
ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox
libcamlp4-ocaml-dev camlp4 coq-8.7.2-theories liblablgtk2-ocaml
liblablgtksourceview2-ocaml libcoq-8.7.2-ocaml ocaml-native-compilers
coq-8.7.2 coq-8.7.2ide libfindlib-ocaml libfindlib-ocaml-dev ocaml-findlib
E: There were unauthenticated packages and -y was used without --allow-unauthenticated
```
I'm not sure if this is the right way to fix this...
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions