../ README 31-Jul-2020 16:11 4439 horoscop.dtx 31-Jul-2020 16:11 317070 horoscop.ins 31-Jul-2020 16:11 359 horoscop.pdf 31-Jul-2020 16:11 701562