# HG changeset patch
# User Henry S Thompson <ht@inf.ed.ac.uk>
# Date 1723722390 -3600
# Node ID 8bbade4dc167bc78303d6198edb8b56fa3d1491c
# Parent  9376bcef72f53dc1f0d42c897e03f42d93b4776c
version from 2024-02-22, never built?

diff -r 9376bcef72f5 -r 8bbade4dc167 cc.def
--- a/cc.def	Thu Aug 15 12:45:53 2024 +0100
+++ b/cc.def	Thu Aug 15 12:46:30 2024 +0100
@@ -2,7 +2,8 @@
 From: debian:bullseye
 
 %files
-   /usr/local/bin/stats
+   /usr/local/bin/stats /usr/local/bin
+   /etc/krb5.conf /etc
 
 %post
     sed 's/PS1/PSone/' -i .singularity.d/env/99-base.sh
@@ -54,6 +55,8 @@
     ln -s /usr/local/src/pdfx/pdfx .
     ln -s /usr/local/src/pdfminer.six/pdfminer .
 
+    cp -a /etc/krb5.conf /etc
+
     sed '8i\
   if [ "$WSHARED" ]\
   then\