Gautier de Montmollin 09dfc4019f mathpaqs 20230121.0.0 executable list fix (#848) ...

Removed `gnat_int` from the list of executables (it was removed in mathpaqs). This should fix the build test failures.

2023-07-18 12:33:39 +02:00

..

mathpaqs-20200214.0.0.toml

Convert licenses to SPDX expressions (#226)

2021-01-13 14:12:03 +01:00

mathpaqs-20230121.0.0.toml

mathpaqs 20230121.0.0 executable list fix (#848)

2023-07-18 12:33:39 +02:00