D/patches////
/DESCR/1.3/Sat Jan 12 01:07:37 2008//
/MESSAGE/1.2/Tue Jan 24 12:31:18 2017//
/buildlink3.mk/1.27/Sun May  7 01:00:49 2023//
/octave.mk/1.10/Sun Jul 23 01:00:50 2023//
/PLIST/1.42/Mon Mar 25 01:00:56 2024//
/distinfo/1.70/Mon Mar 25 01:00:56 2024//
/options.mk/1.8/Mon Mar 25 01:00:56 2024//
/Makefile/1.253/Sun Apr  7 01:00:58 2024//