RiscV-Formal

11 commits 1 branch 0 tags 118 KiB

Author	SHA1	Message	Date
Artturin	459ed89ce2	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-22 22:33:26 +02:00

Author

SHA1

Message

Date

Artturin

459ed89ce2

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-22 22:33:26 +02:00

Renamed from rv_formal.cabal (Browse further)