Index of /debian/sel4/sel4-12.0.0/debian/

../
source/                                            23-Dec-2020 12:08                   -
README.Debian                                      23-Dec-2020 12:08                 175
README.source                                      23-Dec-2020 12:08                 260
changelog                                          23-Dec-2020 12:08                 191
control                                            23-Dec-2020 12:08                 512
copyright                                          23-Dec-2020 12:08                1909
manpage.1.ex                                       23-Dec-2020 12:08                1623
manpage.sgml.ex                                    23-Dec-2020 12:08                4652
manpage.xml.ex                                     23-Dec-2020 12:08               11004
postinst.ex                                        23-Dec-2020 12:08                 955
postrm.ex                                          23-Dec-2020 12:08                 928
preinst.ex                                         23-Dec-2020 12:08                 688
prerm.ex                                           23-Dec-2020 12:08                 875
rules                                              23-Dec-2020 12:08                 678
salsa-ci.yml.ex                                    23-Dec-2020 12:08                 535
sel4-docs.docs                                     23-Dec-2020 12:08                  28
sel4.cron.d.ex                                     23-Dec-2020 12:08                 122
sel4.doc-base.EX                                   23-Dec-2020 12:08                 482
watch.ex                                           23-Dec-2020 12:08                1122