Commit Graph

7 Commits

Author SHA1 Message Date
Guy Chronister
a73560ee5f ocamlPackages.mopsa: migrate to finalAttrs 2026-05-12 13:28:19 -05:00
Vincent Laporte
5c644ee904 ocamlPackages.mopsa: fix propagated inputs 2025-11-04 18:42:46 +01:00
Ross Smyth
7e7469589b tree-wide: Remove uses of flint3 2025-09-27 22:09:11 -04:00
mivorasu
ee0866bddd treewide: conform descriptions to the standards 2025-07-28 04:39:00 +00:00
Weijia Wang
1b0e72bcaf ocamlPackages.mopsa: migrate to flint3 2025-03-28 11:36:13 +01:00
Vincent Laporte
9c1f15d845 ocamlPackages.mopsa: 1.0 → 1.1 2025-02-14 10:13:02 +01:00
Vincent Laporte
5622ff23c9 mopsa: init at 1.0 2024-07-31 08:51:37 +02:00