kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

doc: Added lang/idris version 1.3.2

Browse source
This commit is contained in:
pho 2020-01-20 23:32:47 +00:00
parent 198a6b821d
commit abd801e9c4
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
doc/CHANGES-2020
View file

@ -1,4 +1,4 @@
$NetBSD: CHANGES-2020,v 1.688 2020/01/20 21:58:15 nia Exp $
$NetBSD: CHANGES-2020,v 1.689 2020/01/20 23:32:47 pho Exp $
Changes to the packages collection and infrastructure in 2020:
@ -789,3 +789,4 @@ Changes to the packages collection and infrastructure in 2020:
Removed lang/kaffe-esound [nia 2020-01-20]
Removed emulators/cygwin_esound [nia 2020-01-20]
Removed audio/esound [nia 2020-01-20]
Added lang/idris version 1.3.2 [pho 2020-01-20]