Agda Bundle

How to uninstall Agda Bundle from your PC

This page is about Agda Bundle for Windows. Here you can find details on how to uninstall it from your PC. The Windows version was created by haskell.org. Further information on haskell.org can be seen here. You can see more info about Agda Bundle at https://haskell.org. The application is frequently found in the C:\Program Files\Haskell Platform\8.6.5\bin directory (same installation drive as Windows). You can uninstall Agda Bundle by clicking on the Start menu of Windows and pasting the command line MsiExec.exe /I{B1A32364-1F0D-4AEB-A8E8-B3BBB3827A40}. Note that you might be prompted for admin rights. ghci.exe is the Agda Bundle's main executable file and it occupies about 388.12 KB (397437 bytes) on disk.

The executables below are part of Agda Bundle. They take about 314.31 MB (329575007 bytes) on disk.

• ghc-8.6.5.exe (381.14 KB)
• ghc-pkg.exe (33.44 MB)
• ghc.exe (102.37 MB)
• ghci.exe (388.12 KB)
• haddock-8.6.5.exe (381.14 KB)
• haddock.exe (105.29 MB)
• hp2ps.exe (432.13 KB)
• hpc.exe (19.95 MB)
• hsc2hs.exe (18.97 MB)
• runhaskell.exe (16.18 MB)

...click to view all...

This page is about Agda Bundle version 2.6.0.1 only. You can find below info on other versions of Agda Bundle:

• 2.5.4.2

After the uninstall process, the application leaves some files behind on the PC. Some of these are shown below.

Folders found on disk after you uninstall Agda Bundle from your PC:

• C:\Program Files\Haskell Platform\8.6.5\bin

Check for and remove the following files from your disk when you uninstall Agda Bundle:

• C:\Program Files\Haskell Platform\8.6.5\bin\ghc.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\ghc-8.6.5.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\ghci.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\ghci-8.6.5.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\ghcii.sh
• C:\Program Files\Haskell Platform\8.6.5\bin\ghcii-8.6.5.sh
• C:\Program Files\Haskell Platform\8.6.5\bin\ghc-pkg.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\glut32.dll
• C:\Program Files\Haskell Platform\8.6.5\bin\haddock.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\haddock-8.6.5.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\hp2ps.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\hpc.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\hsc2hs.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\runghc.exe
• C:\Program Files\Haskell Platform\8.6.5\bin\runhaskell.exe
• C:\Windows\Installer\{B1A32364-1F0D-4AEB-A8E8-B3BBB3827A40}\Icon_ghci.exe

Registry keys:

• HKEY_LOCAL_MACHINE\SOFTWARE\Classes\Installer\Products\46323A1BD0F1BEA48A8E3BBB3B28A704
• HKEY_LOCAL_MACHINE\Software\Microsoft\Windows\CurrentVersion\Uninstall\{B1A32364-1F0D-4AEB-A8E8-B3BBB3827A40}

Additional registry values that you should clean:

• HKEY_LOCAL_MACHINE\SOFTWARE\Classes\Installer\Products\46323A1BD0F1BEA48A8E3BBB3B28A704\ProductName
• HKEY_LOCAL_MACHINE\Software\Microsoft\Windows\CurrentVersion\Installer\Folders\C:\Program Files\Haskell Platform\8.6.5\bin\

A way to remove Agda Bundle with the help of Advanced Uninstaller PRO

Agda Bundle is a program released by the software company haskell.org. Frequently, users try to erase this application. This is efortful because doing this manually takes some knowledge related to removing Windows applications by hand. One of the best QUICK procedure to erase Agda Bundle is to use Advanced Uninstaller PRO. Take the following steps on how to do this:





1. If you don't have Advanced Uninstaller PRO on your PC, add it. This is a good step because Advanced Uninstaller PRO is an efficient uninstaller and general utility to take care of your computer.

DOWNLOAD NOW

• visit Download Link
• download the program by clicking on the green DOWNLOAD button
• set up Advanced Uninstaller PRO

2. Start Advanced Uninstaller PRO. Take your time to admire Advanced Uninstaller PRO's design and wealth of features available. Advanced Uninstaller PRO is a powerful package of utilities.

3. Click on the General Tools category


4. Press the Uninstall Programs button


5. A list of the applications installed on the computer will be shown to you

6. Scroll the list of applications until you find Agda Bundle or simply click the Search field and type in "Agda Bundle". If it is installed on your PC the Agda Bundle program will be found automatically. After you click Agda Bundle in the list of applications, some data about the program is made available to you:

• Safety rating (in the lower left corner). This explains the opinion other users have about Agda Bundle, from "Highly recommended" to "Very dangerous".
• Reviews by other users - Click on the Read reviews button.
• Technical information about the app you are about to uninstall, by clicking on the Properties button.

For instance you can see that for Agda Bundle:

• The web site of the application is: https://haskell.org
• The uninstall string is: MsiExec.exe /I{B1A32364-1F0D-4AEB-A8E8-B3BBB3827A40}

7. Press the Uninstall button. A confirmation window will appear. accept the removal by pressing Uninstall. Advanced Uninstaller PRO will automatically uninstall Agda Bundle.


8. After uninstalling Agda Bundle, Advanced Uninstaller PRO will ask you to run a cleanup. Click Next to start the cleanup. All the items of Agda Bundle which have been left behind will be found and you will be asked if you want to delete them. By uninstalling Agda Bundle with Advanced Uninstaller PRO, you can be sure that no registry entries, files or folders are left behind on your PC.

Your PC will remain clean, speedy and able to run without errors or problems.

Disclaimer

This page is not a piece of advice to remove Agda Bundle by haskell.org from your PC, we are not saying that Agda Bundle by haskell.org is not a good application for your computer. This page simply contains detailed info on how to remove Agda Bundle in case you want to. The information above contains registry and disk entries that other software left behind and Advanced Uninstaller PRO stumbled upon and classified as "leftovers" on other users' PCs.