Revision - 512f0f2 - [docker] get CVC4 from a more stable URL

Revision 512f0f2bd8dc8c1132f3cd138a17d57d4db9c514 authored by François Dupressoir on 30 June 2021, 14:43:29 UTC, committed by François Dupressoir on 30 June 2021, 14:43:36 UTC

[docker] get CVC4 from a more stable URL

1 parent 489ff17

Files
Changes

Permalinks

File	Mode	Size
tests.config	-rw-r--r--	343 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...