cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
02b02f507d
solidity/scripts/deps-ppa
History
Michał Janiszewski 6f285ad197 Update debian/compat to version 13 
Compat version 13 is currently the recommended one.

An important change introduced in 10 was change of default to target parallel builds

5d1bb29841/debhelper.pod (compatibility-levels)
2023-02-03 20:56:25 +01:00
..
static_z3.sh Update debian/compat to version 13 2023-02-03 20:56:25 +01:00