Commit Graph

4 Commits

Author SHA1 Message Date
Pierre Roux
54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1 2026-07-24 09:41:27 +02:00
Vincent Laporte
e45516ba3b rocqPackages.micromega-plugin: fix hash 2026-06-10 07:55:22 +02:00
Pierre Roux
34725c072b rocqPackages.micromega-plugin: 1.0.0 -> 1.1.0 2026-05-29 09:48:18 +02:00
Pierre Roux
2a7a765c10 rocqPackages.micromega-plugin: init at 1.0.0 2026-05-06 08:38:32 +02:00