cerc-io/solidity
11
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
Files
43431eb427c6086701353aeda94b8ae9b401b1e9
solidity/scripts/deps-ppa
T
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

https://github.com/Debian/debhelper/blob/5d1bb29841043d8e47ebbdd043e6cd086cad508e/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