Unignored libraries/ghc-prim/ghc-prim.cabal

git status tells me

Untracked files:
  (use "git add <file>..." to include in what will be committed)
	libraries/ghc-prim/ghc-prim.cabal

Apparently the file was removed in fc186b0c, but commit message doesn't indicate that. (Maybe there is some adjacent commit, I didn't look closer).

E.g. /compiler/ghc.cabal and /libraries/ghc-heap/ghc-heap.cabal are generated, but they are in .gitignore.

So, should ghc-prim.cabal be checked in, or in .gitignore?