8 commits

Author	SHA1	Message	Date
Yann Dupont	dffc090d32	typo	2022-06-17 20:01:46 +02:00
Yann Dupont	0cf0940f0d	typo	2022-06-17 19:53:17 +02:00
Yann Dupont	be3e0baab7	simplification	2022-06-17 19:31:14 +02:00
Yann Dupont	01fc9a50f0	rename packages	2022-06-17 19:24:04 +02:00
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