<!-- -*- xml -*-
-w3cdatetime はパブリックドメインに在ります。
-w3cdatetime is in the public domain.
+time-w3c はパブリックドメインに在ります。
+time-w3c is in the public domain.
See http://creativecommons.org/licenses/publicdomain/
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<Work rdf:about="http://cielonegro.org/W3CDateTime.html">
- <dc:title>w3cdatetime</dc:title>
+ <dc:title>time-w3c</dc:title>
<dc:rights>
<Agent>
<dc:title>PHO</dc:title>
Data.Time.W3C.Types
Build-depends:
- base >= 4 && < 5,
- convertible >= 1.0 && < 2,
- parsec >= 3 && < 4,
- time >= 1.1 && < 2
+ base >= 4.2 && < 4.3,
+ convertible >= 1.0 && < 1.1,
+ parsec >= 3.0 && < 3.1,
+ time >= 1.1 && < 1.2
Extensions:
DeriveDataTypeable