fix broken pkgs.py master
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 25 Jan 2025 11:15:15 +0000 (12:15 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 25 Jan 2025 11:15:15 +0000 (12:15 +0100)
commitf79b3bf2350dbb4f74d8364784e4a2b7c9504ea9
tree5cb496c921d321f076380cd37214ab1f2391036d
parent6ef90aa3703b16d8dc9bfeef83677d47b855ce07
fix broken pkgs.py
pkgs.py