add f40 in pkgs.py
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 5 Jul 2024 13:24:45 +0000 (15:24 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 5 Jul 2024 13:24:45 +0000 (15:24 +0200)
commita19cafac18edae8c87a7d80ebb50fa94227bcf2d
tree27ab1efd0cd09bf5579f23708552a89819cad280
parent3941b16076e8a6dd45e7ebe850c3bac25e5095d0
add f40 in pkgs.py
pkgs.py