RiscV-Formal

41 commits 2 branches 0 tags 346 KiB

Author	SHA1	Message	Date
Artturin	3c14139753	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-03-14 00:23:30 +02:00

Author

SHA1

Message

Date

Artturin

3c14139753

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-03-14 00:23:30 +02:00

Renamed from rv_formal.cabal (Browse further)