[Trisquel-users] Re : missing headers?

[magicbanana]

I believe that the mirror of the repository had a temporary problem, i.e.,  
the server it is on was not accessible. You could have simply tried to change  
the mirror, i.e., access machine serving the same repository. It is only  
about running "Software sources" and selecting the mirror in a list.  
Reinstalling was kind of a drastic solution!