OS4 DepotLogo by Kicko 
(anonymous IP: 3.222.251.91,0) 
 HomeRecentStatsSearchMirrorsContactInfoDisclaimerConfigAdmin
 Menu

 Features
   Crashlogs
   Bug tracker
   Locale browser
 

 Categories

   o Audio (340)
   o Datatype (50)
   o Demo (200)
   o Development (590)
   o Document (22)
   o Driver (98)
   o Emulation (146)
   o Game (974)
   o Graphics (490)
   o Library (112)
   o Network (227)
   o Office (64)
   o Utility (898)
   o Video (66)

Total files: 4277

Full index file
Recent index file

 Links

  Amigans.net
  OpenAmiga
  Aminet
  UtilityBase
  IntuitionBase
  AmigaBounty


Support the site


 File comments for:  Development » Library » Misc » libming.lha

Libming

Description: libming - library tool for creating Flash content
Download: libming.lha
Version: 0.4.4
Date: 29 Jan 12
Category: development/library/misc
FileID: 6857

[Back to readme page]

 PERMSSN    UID  GID    PACKED    SIZE  RATIO METHOD CRC     STAMP          NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
[Amiga]                    322     815  39.5% -lh5- 2289 Jan 29  2012 libming/example/example.cpp
[Amiga]                     66      82  80.5% -lh5- 9438 Jan 29  2012 libming/example/Makefile
[Amiga]                    194     277  70.0% -lh5- 1ddd Jan 29  2012 libming/README.amigaos
[Amiga]                   9440   39925  23.6% -lh5- 7168 Jan 29  2012 libming/SDK/local/newlib/include/ming.h
[Amiga]                   9927   47522  20.9% -lh5- 8a1d Oct 26  2011 libming/SDK/local/newlib/include/mingpp.h
[Amiga]                 656807 1557014  42.2% -lh5- c92c Jan 29  2012 libming/SDK/local/newlib/lib/libming.a
[Amiga]                 532747 1359593  39.2% -lh5- 78ba Jan 29  2012 libming/SDK/local/newlib/lib/libming.so
---------- ----------- ------- ------- ------ ---------- ------------ -------------
 Total         7 files 1209503 3005228  40.2%            Mar 14  2014
Copyright (c) 2004-2023 by Björn Hagström All Rights Reserved
Amiga OS and its logos are registered trademarks of Hyperion Entertainment