+
+File components/extlib/trie.ml:
+Copyright (C) 2000 Jean-Christophe FILLIATRE
+Released under LGPL version 2
+See /usr/share/common-licenses/LGPL-2
+
+File components/syntax_extensions/data/dictionary-tex.xml:
+Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
+ 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+All .ma files are released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+Files components/tactics/setoids.ml, components/tactics/setoids.mli and
+components/tactics/fourier.ml are part of The Coq Proof Assistant
+Copyright (C) The Coq Development Team
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+