issues
search
GillianPlatform
/
Gillian
The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73
stars
11
forks
source link
Update esy overrides
#267
Closed
NatKarmios
closed
11 months ago
NatKarmios
commented
11 months ago
Update overrides for
z3
and
esy-gmp
to org-owned repos
Remove override for
conf-python-3-7
, the issue was fixed on the official repository
z3
andesy-gmp
to org-owned reposconf-python-3-7
, the issue was fixed on the official repository