4 commits

Author	SHA1	Message	Date
Jean-François GUILLAUME	54560ad0ea	backporting master into devel (devel was behind master)	2022-05-10 10:00:46 +02:00
Yann Dupont	2615ae0041	tentative de rationalisation du nom des packages	2021-10-26 14:19:34 +02:00
Yann Dupont	a29cd4e641	bad module name	2021-10-26 12:48:51 +02:00
Yann Dupont	15a65afd49	and now, benchmarks.scm	2021-10-26 12:46:12 +02:00