Leo Arias d95252faf1 Add wget to the build packages of the snap ... This is required to download antlr for cvc4: 323d5faa1f/contrib/get-antlr-3.4 (L23)		2019-08-26 06:07:54 -06:00
..
snapcraft.yaml	Add wget to the build packages of the snap	2019-08-26 06:07:54 -06:00