<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.30.3">
</HEAD>
<BODY>
People, <BR>
<BR>
Earlier I have installed Development Agda of December 31, 2015,<BR>
(on ghc-7.10.2, Debian Linux).<BR>
<BR>
Now I think that a certain bug is fixed, so I try to install Development Agda of January 9, 2016<BR>
(on ghc-7.10.2, Debian Linux).<BR>
The commands<BR>
<BR>
> cabal update<BR>
> cabal install <BR>
<BR>
produce the report of <BR>
<BR>
---------------------------------------------------------------------------------------------------<BR>
Resolving dependencies...<BR>
In order, the following will be installed:<BR>
monadplus-1.4.2 (via: Agda-2.5) (new package)<BR>
Agda-2.5 (reinstall) (changes: filemanip-0.3.6.3 added, monadplus-1.4.2 added)<BR>
Warning: Note that reinstalls are always dangerous. Continuing anyway...<BR>
Configuring monadplus-1.4.2...<BR>
Building monadplus-1.4.2...<BR>
Preprocessing library monadplus-1.4.2...<BR>
[1 of 2] Compiling Control.Monad.Plus ( src/Control/Monad/Plus.hs, dist/build/Control/Monad/Plus.o )<BR>
[2 of 2] Compiling Control.Applicative.Alternative ( src/Control/Applicative/Alternative.hs, dist/build/Control/Applicative/Alternative.o )<BR>
In-place registering monadplus-1.4.2...<BR>
Creating package registration file: /tmp/pkgConf-monadplus-1.43832.2<BR>
Installing library in<BR>
/home/mechvel/.cabal/lib/x86_64-linux-ghc-7.10.2/monadplus-1.4.2-EAUqjzWEiSuJeJHhOa8PLD<BR>
Registering monadplus-1.4.2...<BR>
Installed monadplus-1.4.2<BR>
[1 of 1] Compiling Main ( dist/setup/setup.hs, dist/setup/Main.o )<BR>
Linking ./dist/setup/setup ...<BR>
Configuring Agda-2.5...<BR>
Building Agda-2.5...<BR>
Preprocessing library Agda-2.5...<BR>
alex: /home/mechvel/.cabal/share/x86_64-linux-ghc-7.8.3/alex-3.1.4/AlexTemplate-ghc: openFile: <BR>
does not exist (No such file or directory)<BR>
--------------------------------------------------------------------------------------------------------<BR>
<BR>
Can you, please, advise?<BR>
<BR>
---------<BR>
Sergrei
</BODY>
</HTML>