jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Bump nimble commit (#15053)

Browse source
This commit is contained in:
genotrance 2020-07-25 01:16:25 -05:00 • committed by GitHub
commit 8211d38569
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
koch.nim
View file

@ -10,11 +10,11 @@
# #
const const
NimbleStableCommit = "63695f490728e3935692c29f3d71944d83bb1e83" # master NimbleStableCommit = "e5d340df8cf26f89ad2c9f0bc081ecd7e0323b0a" # master
when not defined(windows): when not defined(windows):
const const
Z3StableCommit = "65de3f748a6812eecd7db7c478d5fc54424d368b" # the version of Z3 that DrNim uses Z3StableCommit = "65de3f748a6812eecd7db7c478dcd5fc54424d368b" # the version of Z3 that DrNim uses
when defined(gcc) and defined(windows): when defined(gcc) and defined(windows):
when defined(x86): when defined(x86):