nasa / ogma

Generator of runtime monitors for flight and robotics applications.
Other
335 stars 25 forks source link

Replace homepage. Refs #147. #154

Closed ivanperez-keera closed 1 month ago

ivanperez-keera commented 1 month ago

Replace all homepages in cabal files to point to this repository, as prescribed in the solution proposed for #147.

ivanperez-keera commented 1 month ago

Change Manager: Verified that: