Re: CVS commit: pkgsrc/devel/verifast

To: Ryo ONODERA <ryoon%netbsd.org@localhost>
Subject: Re: CVS commit: pkgsrc/devel/verifast
From: Joerg Sonnenberger <joerg%bec.de@localhost>
Date: Sun, 1 Oct 2017 20:44:02 +0200

On Wed, Jul 12, 2017 at 01:54:16AM +0000, Ryo ONODERA wrote:
> Module Name:  pkgsrc
> Committed By: ryoon
> Date:         Wed Jul 12 01:54:16 UTC 2017
> 
> Added Files:
>       pkgsrc/devel/verifast: DESCR Makefile PLIST distinfo
>       pkgsrc/devel/verifast/patches: patch-src_GNUmakefile
> 
> Log Message:
> Import verifast-17.06 as devel/verifast.

This has been hanging in my bulk builds.

Joerg

References:
- CVS commit: pkgsrc/devel/verifast
  - From: Ryo ONODERA

Prev by Date: CVS commit: pkgsrc/mk/pkgformat/pkg
Next by Date: CVS commit: pkgsrc/archivers/py-lz4
Previous by Thread: CVS commit: pkgsrc/devel/verifast
Next by Thread: CVS commit: pkgsrc/devel
Indexes:

Home | Main Index | Thread Index | Old Index