/usr/share/deal.II/misc/head is in libdeal.ii-dev 6.3.1-1.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | //---------------------------- /var/tmp/deal.II/common/misc/head ---------------------------
// $Id: head 5351 2002-01-07 09:48:43Z wolf $
// Version: $Name$
//
// Copyright (C) 2002 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
// to the file deal.II/doc/license.html for the text and
// further information on this license.
//
//---------------------------- /var/tmp/deal.II/common/misc/head ---------------------------
//---------------------------- /var/tmp/deal.II/common/misc/head ---------------------------
// $Id: head 5351 2002-01-07 09:48:43Z wolf $
// Version: $Name$
//
// Copyright (C) 2002 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
// to the file deal.II/doc/license.html for the text and
// further information on this license.
//
//---------------------------- /var/tmp/deal.II/common/misc/head ---------------------------
|