[flocq/f16] New upstream release. Change subpackage from -devel to -source to match gappalib-coq.

Jerry James jjames at fedoraproject.org
Mon Dec 12 18:02:37 UTC 2011

Previous message: [glibc: 5/5] Merge branch 'f16'
Next message: [kBuild/f15] Update to a later snapshot
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  b922f36... New upstream release. Change subpackage from -devel to -sou (*)

(*) This commit already existed in another branch; no separate mail sent

Previous message: [glibc: 5/5] Merge branch 'f16'
Next message: [kBuild/f15] Update to a later snapshot
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list