Artturin/RiscV-Formal
1
0
Fork 0
forked from Yehowshua/RiscV-Formal
Code Pull requests Activity
12 commits 2 branches 0 tags 149 KiB
Commit graph

1 commit

Author SHA1 Message Date
Artturin 507afc2c02 Rename rv_formal.cabal to rvFormal 
It appears that the convention is to use the package name as the
filename

```
error: path '/nix/store/3bljihq1ighvsr9ghaw5fvflcdapsrff-haskell-project-plan-to-nix-pkgs/.plan.nix/rvFormal.nix' does not exist
```
 2025-02-21 23:13:45 +02:00
Renamed from rv_formal.cabal (Browse further)