2 Commits

Author	SHA1	Message	Date
Reynald Affeldt	b2f53e3726	mathcomp-infotheo: 0.5.1 -> 0.5.2	2023-06-20 21:18:53 +02:00
affeldt-aist	8a92dd9a9a	mathcomp-infotheo: init at 0.5.1 (#231077)	2023-05-11 23:09:28 +02:00