--- - branch: MAIN date: Tue Jun 21 02:22:00 UTC 2022 files: - new: '1.3104' old: '1.3103' path: pkgsrc/doc/CHANGES-2022 pathrev: pkgsrc/doc/CHANGES-2022@1.3104 type: modified - new: '1.21954' old: '1.21953' path: pkgsrc/doc/TODO pathrev: pkgsrc/doc/TODO@1.21954 type: modified id: 20220621T022200Z.e99abe85678dce6c57792f08120b9e0dcd77e5ab log: "CHANGES for lang/coq\n" module: pkgsrc subject: 'CVS commit: pkgsrc/doc' unixtime: '1655778120' user: dholland