OCaml installation reset : need help

Community
1

Hi have a broken ocaml installation that I don’t know how to remove on a windows box. It is most probably due to raw folder deletion instead of carefull uninstall.

When trying to remove it from the Windows application add/remove system I get the following error message :

DiskuvOCaml OCaml 1.1.0 Uninstall : "Windows does not find ‘C:\Users\XXX\AppData\Local\Programs\DiskuvOCaml\uninstall.exe’ "

Indeed, there is no directory “DiskuvOCaml” anymore in “C:\Users\XXX\AppData\Local\Programs”

When I try to install again ( DkML / Distributions / DkML · GitLab I get the following error message :

PS C:\Users\XXX> winget install Diskuv.OCaml
A existing package has already been installed. Trying to upgrade installed package...
Found DkML Native [Diskuv.OCaml] version 2.1.3
This licence ....
This package needs the following depencies : 
- Packages
    Microsoft.VCRedist.2015+.x64
Downloading
https://gitlab.com/dkml/distributions/dkml/-/releases/2.1.3/downloads/setup64nu.exe
  ██████████████████████████████   274 MB /  274 MB
hash code successfully verified 
Start of package uninstall
unexpected error occured during command execution: 
0x800401f5 : Application unfound.

I don’t know how to proceed. I just want to remove everything but I don’t know how to remove all the traces of existing installations.

2

I’m not a Windows user, but it looks like this program winget maintains a database of installed programs. Doing a little Googling, it seems that it also maintains other information on installable programs. My bet is that for each installed program/Package There’ll beSome metadata including how to uninstall it. If you can find out where that metadata is then you can blow away the metadata for ocaml. Unix distributions typically have similar functionality, And there is almost always a way to tellThe package manager To ignore any failures during the uninstall process and blow everything away.

So if I were in your situation I would investigateHow to tell when get to be more brutal and thorough in uninstalling, ignoring any errors that occur.

3

Thanks for sharing your thoughts.

On windows, there is the registry which might store metadata. And I have seen winget logs where a database is mentionned, I will have a look as well.

Merry Christmas :slight_smile: